Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | README: explain need to run autogen.sh (closes #93) | Adam Chlipala | 2018-01-06 |
| | |||
* | README: mention that GNU Make is required | Adam Chlipala | 2017-11-18 |
| | |||
* | README extension: installation and simple invocation | Adam Chlipala | 2017-10-01 |
| | |||
* | Add build status image to README.md | Jason Gross | 2015-12-30 |
| | |||
* | Imported to Git from Mercurial | Adam Chlipala | 2015-12-20 |