natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update the instructions for installing the typechecking plugin.

This commit is contained in:
Fedor Isakov 2017-12-06 16:05:35 +01:00
parent 8683c18479
commit 1d272127f9
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
samples/fitch/README.md
View File

@ -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