aboutsummaryrefslogtreecommitdiffstats
path: root/src/prove.c
Commit message (Expand)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