| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Add GitHub link | Camil Staps | 10 years | |
| Age | Commit message | Author | Files | Lines |
| 2015-05-31 | Add GitHub linkHEADmaster | Camil Staps | 1 | -2/+2 |
| 2015-05-09 | bugfix | Camil Staps | 1 | -1/+1 |
| 2015-05-08 | Bugfix | Camil Staps | 1 | -1/+1 |
| 2015-05-08 | Bugfix | Camil Staps | 1 | -1/+1 |
| 2015-05-08 | Demo | Camil Staps | 1 | -0/+3 |
| 2015-05-08 | Bugfix; licensing; copyright & contact details; readme | Camil Staps | 4 | -26/+64 |
| 2015-05-08 | This seems to work | Camil Staps | 2 | -0/+48 |
| 2015-05-08 | Initial commit | Camil Staps | 2 | -0/+24 |
| Clone | ||||
| git@git.camilstaps.nl:archived/coq-commands-counter | ||||
| https://git.camilstaps.nl/archived/coq-commands-counter | ||||
 |
index : coq-commands-counter | |
| JavaScript tool to count commands used in a Coq script |
| aboutsummaryrefslogtreecommitdiff |