KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2026-02-06 16:36:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
53d238f3105c70e4e736887341b91f8cef5d7c42
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