To use the VSCode IDE plugin, first make sure a Java runtime is installed in your system. Then type SASyLF in the Extensions:Marketplace search box and install the extension.

You can get SASyLF from the release page as the Eclipse plugin.

• org.sasylf_version.vdate.jar The Eclipse plugin JAR file

You may also get the project directly from github to get the latest bleeding edge version. In this case, you will need to use the Makefile to produce the JAR files. The github project is a legal Eclipse plugin project; you will need to use Eclipse to help build the Eclipse plugin JAR.

To use the Eclipse plugin, you need Eclipse, version 4.2.2 (Juno) or later. See http://www.eclipse.org for how to download this free software. Many people find the plethora of download possibilities confusing. See http://www.eclipse.org/downloads/moreinfo/compare.php for a comparison. If you're just interested in SASyLF and maybe Java programming, get the "Eclipse IDE for Java Developers".

Previously, through SASyLF 1.2.3, you would also need to install the "Graphical Editing Framework GEF SDK" plugin before using SASyLF. Use the Help>Install New Software dialog, and use the "Juno - http://downloads.eclipse.org/releases/juno" site (or the equivalent for kepler, luna etc...). The GEF is under category "Modeling". Starting with release 1.2.4, the SASyLF plugin no longer depends on GEF.

The Eclipse plugin JAR file should be placed in the dropins/ directory of your Eclipse installation. Apparently on MacOS, you must always start with a fresh installation of Eclipse; if you try to upgrade the JAR in the dropping folder, Eclipse will refuse to load the plugin ever again. (No, -clean doesn't help.) Then restart Eclipse. Once this is done, you can create files with extension .slf and SASyLF>Check Proofs to check proofs. Proofs are also checked when the file is saved.

The GitHub project includes the following parts:

• README.md Release notes
• Makefile Target for developers
• sasylf A shell script for Linux/MacOSX command-line checking of SASyLF files.
• sasylf.bat A Windows script for the same purpose.
• sasylf.local A script to run SASyLF out of the build-tree (not from a JAR).
• examples A directory of example proofs written in SASyLF
• src The complete source
• other files / test cases / exercises

You can use the Makefile to make SASyLF.jar which can be run on the command line. The scripts use this JAR file. But the Eclipse plugin JAR also includes the capabilities of SASyLF.jar and so you only need that JAR file (but it is larger). You can run using java -jar org.sasylf.*.jar --help