delta/python-packages/pygments.git/tests/examplefiles/example.thy, branch crystal2
bitbucket.org: Obsolete (use python-packages/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
074bb277547a6d4eed650497d09f0f7210e92c24