From 1d272127f9644faf12f9b204f4795672c94f0470 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 6 Dec 2017 16:05:35 +0100 Subject: [PATCH] Update the instructions for installing the typechecking plugin. --- samples/fitch/README.md | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/samples/fitch/README.md b/samples/fitch/README.md index f85c21d4..fd50b0ab 100644 --- a/samples/fitch/README.md +++ b/samples/fitch/README.md @@ -7,13 +7,9 @@ This project is developed with [JetBrains MPS](https://www.jetbrains.com/mps/) u ### Instructions 1. Install the latest version of [JetBrains MPS](https://www.jetbrains.com/mps/download). -2. Download the type checking plugin from [this](https://github.com/fisakov/constraints-typechecking) project (see downloads for the latest release) -3. Install the plugin to your local drive (example for macOS): - - `unzip typechecking-0.2.zip -d ~/Library/Application\ Support/MPS2017.2/` - -4. Clone this repository and open the project with MPS -5. Execute 'Rebuild Project' +2. Download the type checking plugin from [this](https://github.com/fisakov/constraints-typechecking) project (follow the instructions there for installing the plugin using either update mechanism or manually) +3. Clone this repository and open the project with MPS +4. Execute 'Rebuild Project' ### Using the proof checker