aboutsummaryrefslogtreecommitdiffstats
path: root/src/prove.c
Commit message (Collapse)AuthorAgeFilesLines
* factor out parsing #substitute and #markHEADmasterSteve Slaven2023-01-241-11/+14
|
* add tests for #substituteSteve Slaven2023-01-241-1/+40
|
* add --proveSteve Slaven2023-01-241-0/+421