aboutsummaryrefslogtreecommitdiff
path: root/etc/coq-scripts
Commit message (Expand)AuthorAge
* Bump coq-scriptsGravatar Jason Gross2017-06-06
* Unrevert the coq-scripts module againGravatar Jason Gross2017-04-14
* stronger ladderstep correctness proof courtesy TeoGravatar Andres Erbsen2017-04-14
* Revert "update coq-scripts"Gravatar Jason Gross2017-04-13
* update coq-scriptsGravatar Andres Erbsen2017-04-12
* Fix vo_reverse_closureGravatar Jason Gross2017-04-09
* Add printreversedepsGravatar Jason Gross2017-04-09
* Bump submodule for better travis timing logsGravatar Jason Gross2017-01-31
* Bump submodule for better timingGravatar Jason Gross2016-09-07
* Bump submoduleGravatar Jason Gross2016-07-19
* Bump submoduleGravatar Jason Gross2016-07-19
* Add coq-scripts submodule for timing scriptsGravatar Jason Gross2016-06-22