KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2026-01-17 06:45:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
fe709659061a70e0fdaf09f89601fa35e6c8f985
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