aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/ErrorInSection.v
Commit message (Collapse)AuthorAge
* remove unneeded -emacs flag to coq-prog-argsGravatar Paul Steckler2017-05-01
|
* Run non-tactic comands without resilient_commandGravatar Tej Chajed2017-03-29