delta/python-packages/pygments-git.git/tests/examplefiles/example.thy, branch 2.0.2
github.com: pygments/pygments.git
basic lexer for Isabelle/HOL theorem prover
2014-07-31T10:17:09+00:00
gerwin klein
gerwin.klein@nicta.com.au
2014-07-31T10:17:09+00:00
995d8a1fa1d435e82a5648209cf9704bffa002c3