summaryrefslogtreecommitdiff
path: root/README.md
Commit message (Collapse)AuthorAge
* README: explain need to run autogen.sh (closes #93)Gravatar Adam Chlipala2018-01-06
|
* README: mention that GNU Make is requiredGravatar Adam Chlipala2017-11-18
|
* README extension: installation and simple invocationGravatar Adam Chlipala2017-10-01
|
* Add build status image to README.mdGravatar Jason Gross2015-12-30
|
* Imported to Git from MercurialGravatar Adam Chlipala2015-12-20