aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-autotest.el
Commit message (Expand)AuthorAge
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
* Remove ref to file parsingcheck-412.v missing from CVS, so "make coq.autotest...Gravatar David Aspinall2012-09-02
* Extra testGravatar David Aspinall2011-12-27
* Note TODO for indent testing!Gravatar David Aspinall2011-08-23
* Add etc/coq/parsingcheck-410.v to executed filesGravatar David Aspinall2011-06-09
* Fix compileGravatar David Aspinall2011-04-26
* Fix so that make test.coq runs successfully.Gravatar David Aspinall2011-04-26
* Old debug settingGravatar David Aspinall2011-01-31
* Add autotest-start with debug for nowGravatar David Aspinall2011-01-26
* Remove proof-shell-wait that causes deadlock with new multiple-file code.Gravatar David Aspinall2011-01-25
* Add multiple file test caseGravatar David Aspinall2011-01-18
* set proof-auto-action-when-deactivating-scripting to 'retract,Gravatar David Aspinall2011-01-18
* Add simple clear test for multiple files without requireGravatar David Aspinall2010-09-08
* Make tests succeed, although still two or three underlying bugsGravatar David Aspinall2010-08-25
* More testsGravatar David Aspinall2010-08-13
* UpdateGravatar David Aspinall2010-08-03
* Fix compile warningsGravatar David Aspinall2009-09-16
* Fix compilation for Coq, including requires and some old/renamed settings.Gravatar David Aspinall2009-09-10
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove some old X-Symbol references.Gravatar David Aspinall2009-09-01
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Fix compilation problems and rearrange startup settings for coq-prog-name,coq...Gravatar David Aspinall2007-12-14
* Remove eval-when, seems unreliableGravatar David Aspinall2007-12-14
* Improve loading; these tests are not functioning yetGravatar David Aspinall2007-12-14
* Added simple testing framework (in progress)Gravatar David Aspinall2005-02-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 10:34:48 +0000