aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-autotest.el
AgeCommit message (Expand)Author
2012-09-02Remove ref to file parsingcheck-412.v missing from CVS, so "make coq.autotest...David Aspinall
2011-12-27Extra testDavid Aspinall
2011-08-23Note TODO for indent testing!David Aspinall
2011-06-09Add etc/coq/parsingcheck-410.v to executed filesDavid Aspinall
2011-04-26Fix compileDavid Aspinall
2011-04-26Fix so that make test.coq runs successfully.David Aspinall
2011-01-31Old debug settingDavid Aspinall
2011-01-26Add autotest-start with debug for nowDavid Aspinall
2011-01-25Remove proof-shell-wait that causes deadlock with new multiple-file code.David Aspinall
2011-01-18Add multiple file test caseDavid Aspinall
2011-01-18set proof-auto-action-when-deactivating-scripting to 'retract,David Aspinall
2010-09-08Add simple clear test for multiple files without requireDavid Aspinall
2010-08-25Make tests succeed, although still two or three underlying bugsDavid Aspinall
2010-08-13More testsDavid Aspinall
2010-08-03UpdateDavid Aspinall
2009-09-16Fix compile warningsDavid Aspinall
2009-09-10Fix compilation for Coq, including requires and some old/renamed settings.David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-01Remove some old X-Symbol references.David Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Fix compilation problems and rearrange startup settings for coq-prog-name,coq...David Aspinall
2007-12-14Remove eval-when, seems unreliableDavid Aspinall
2007-12-14Improve loading; these tests are not functioning yetDavid Aspinall
2005-02-13Added simple testing framework (in progress)David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 01:17:20 +0000