| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-05-30 | Fix typo in install instructions | Alasdair Armstrong | |
| 2018-05-30 | Update INSTALL.md | Alasdair Armstrong | |
| Some tweaks to installation instructions for latest OCaml versions (4.05 and 4.06) | |||
| 2018-02-17 | Add a note detailing hopefully up-to-date install process | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |
path: root/INSTALL.md