Skip to content
This repository has been archived by the owner on Feb 11, 2020. It is now read-only.

Latest commit

 

History

History
28 lines (13 loc) · 952 Bytes

README.md

File metadata and controls

28 lines (13 loc) · 952 Bytes
Raw

isabelle-snippets README

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

Features

This plugin brings all abbreviations used by Isabelle/jEdit to Isabelle/VSCode, and more.

Requirements

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

Due to this issue in the prettify-symbols-mode plugin, take the version prettify-symbols-mode-0.4.3-beta1.vsix from here.

Extension Settings

There are currently no settings

Known Issues

We don't support the abbreviation specified in the theory headers. This is not supported by the snippets mechanism.

Release Notes

See the Changelog.