isabelle-snippets README

This extensions brings some of the symbols and abbreviations completion used by Isabelle/jEdit to Isabelle/VSCode.

Features

TODO

Requirements

You have to install Isabelle (Isabelle2018) and the prettify-symbols-mode. Then you can install this extension from the marketplace.

Extension Settings

There are currently no settings

Known Issues

We don't support the abbreviation specified in the theory headers.

Release Notes

See the Changelog.