issues
search
lsf37
/
Isabelle.tmbundle
TextMate syntax highlighting for the Isabelle theorem prover
BSD 2-Clause "Simplified" License
2
stars
1
forks
source link
add support for ROOT syntax
#1
Closed
lsf37
closed
6 years ago
lsf37
commented
9 years ago
Pull request submitted:
https://github.com/github/linguist/pull/1823
Pull request submitted: https://github.com/github/linguist/pull/1823