KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2025-10-29 17:50:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
4dcf223c8e0e6fe5ba9881b8cea0ead7c88bd2d9
linguist/samples/Isabelle ROOT/filenames
History
Gerwin Klein f18ae4f99f add support for Isabelle ROOT file syntax
2014-12-27 10:13:02 +11:00
..
ROOT
add support for Isabelle ROOT file syntax
2014-12-27 10:13:02 +11:00