Closed creswick closed 11 years ago
The getting started guide still describes the old rule/ruleset format (!).
This needs to be updated to reflect the new JSON-manifest & exports.rule = ... formats for rules and rule sets.
The getting started guide is written in Markdown, and lives in the source repo. Here's a link to the file on github: https://github.com/GaloisInc/FiveUI/blob/master/doc/manual_src/gettingStarted.md
I had started updating this, but didn't get to pushing it to the gh_pages branch. I think there's also more work to be done before that makes sense :)
The getting started guide is mostly up to date now.
The getting started guide still describes the old rule/ruleset format (!).
This needs to be updated to reflect the new JSON-manifest & exports.rule = ... formats for rules and rule sets.
The getting started guide is written in Markdown, and lives in the source repo. Here's a link to the file on github: https://github.com/GaloisInc/FiveUI/blob/master/doc/manual_src/gettingStarted.md