TextMate syntax highlighting for the Isabelle theorem prover
Use Git or checkout with SVN using the web URL.
Work fast with our official CLI. Learn more.
Please sign in to use Codespaces.
If nothing happens, download GitHub Desktop and try again.
If nothing happens, download GitHub Desktop and try again.
If nothing happens, download Xcode and try again.
Your codespace will open once ready.
There was a problem preparing your codespace, please try again.
This is a TextMate bundle for the Isabelle theorem prover.
It contains a language grammar for basic syntax highlighting of Isabelle theory files.
Currently, there is no support for symbol rendering or other advanced features.
Feel free to send pull requests or file issues if you encounter any issues.
The bundle is released under a BSD-style license. See LICENSE.md
TextMate syntax highlighting for the Isabelle theorem prover