Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix most doc issues raised by (checkdoc) | Erik Martin-Dorel | 2018-08-23 |
| | |||
* | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | 2018-02-21 |
| | |||
* | Remove compile-time calls to proof-ready-for-assistant | Clément Pit--Claudel | 2017-03-08 |
| | | | | | Compilation used to run in a separate Emacs process for each file, but that's not what happens when installing PG with package.el. | ||
* | Fix incorrect assumption that noninteractive == byte-compiling | Clément Pit--Claudel | 2017-03-08 |
| | | | | | The PG Makefile does ensure (using --batch) that noninteractive is non-nil while compiling, but package.el doesn't. | ||
* | Remove ref to file parsingcheck-412.v missing from CVS, so "make ↵ | David Aspinall | 2012-09-02 |
| | | | | coq.autotest" runs again | ||
* | Extra test | David Aspinall | 2011-12-27 |
| | |||
* | Note TODO for indent testing! | David Aspinall | 2011-08-23 |
| | |||
* | Add etc/coq/parsingcheck-410.v to executed files | David Aspinall | 2011-06-09 |
| | |||
* | Fix compile | David Aspinall | 2011-04-26 |
| | |||
* | Fix so that make test.coq runs successfully. | David Aspinall | 2011-04-26 |
| | |||
* | Old debug setting | David Aspinall | 2011-01-31 |
| | |||
* | Add autotest-start with debug for now | David Aspinall | 2011-01-26 |
| | |||
* | Remove proof-shell-wait that causes deadlock with new multiple-file code. | David Aspinall | 2011-01-25 |
| | |||
* | Add multiple file test case | David Aspinall | 2011-01-18 |
| | |||
* | set proof-auto-action-when-deactivating-scripting to 'retract, | David Aspinall | 2011-01-18 |
| | | | | to stop new multiple file handling for Coq interactive queries | ||
* | Add simple clear test for multiple files without require | David Aspinall | 2010-09-08 |
| | |||
* | Make tests succeed, although still two or three underlying bugs | David Aspinall | 2010-08-25 |
| | |||
* | More tests | David Aspinall | 2010-08-13 |
| | |||
* | Update | David Aspinall | 2010-08-03 |
| | |||
* | Fix compile warnings | David Aspinall | 2009-09-16 |
| | |||
* | Fix compilation for Coq, including requires and some old/renamed settings. | David Aspinall | 2009-09-10 |
| | |||
* | Clean whitespace | David Aspinall | 2009-09-05 |
| | |||
* | Remove some old X-Symbol references. | David Aspinall | 2009-09-01 |
| | |||
* | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall | 2008-01-15 |
| | |||
* | Fix compilation problems and rearrange startup settings for ↵ | David Aspinall | 2007-12-14 |
| | | | | coq-prog-name,coq-prog-args | ||
* | Remove eval-when, seems unreliable | David Aspinall | 2007-12-14 |
| | |||
* | Improve loading; these tests are not functioning yet | David Aspinall | 2007-12-14 |
| | |||
* | Added simple testing framework (in progress) | David Aspinall | 2005-02-13 |