aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-autotest.el
Commit message (Expand)AuthorAge
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* 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
* Add pg-autotest-start to allow debug startup, which doesn't catch errors.Gravatar David Aspinall2011-01-26
* Dump *Messages* and *PG Debug* into log file, they have useful info.Gravatar David Aspinall2011-01-25
* Save the log file without querying user on exitGravatar David Aspinall2011-01-23
* Add a master debug flag, and disable debug output ordinarily.Gravatar David Aspinall2010-10-10
* Activate debug message printing into log fileGravatar David Aspinall2010-10-10
* pg-autotest-find-file-restart: wait for retraction to complete.Gravatar David Aspinall2010-09-08
* SimplifyGravatar David Aspinall2010-08-27
* proof-debug advice: Fix passing format argGravatar David Aspinall2010-08-18
* quit-prover: avoid kill buffer query questionGravatar David Aspinall2010-08-17
* Extend testingGravatar David Aspinall2010-08-11
* Add timestamps. Fix random jump spurious error.Gravatar David Aspinall2010-08-08
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Simplify messaging code. Make sure random jumps do something. Fix assert-pr...Gravatar David Aspinall2010-08-03
* Improve printing of test parameters.Gravatar David Aspinall2010-08-03
* Resurrect autotest frameworkGravatar David Aspinall2010-08-03
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* Clean compileGravatar David Aspinall2009-09-10
* Clean whitespaceGravatar David Aspinall2009-09-05
* Updated.Gravatar David Aspinall2008-01-17
* Fix requiresGravatar David Aspinall2008-01-17
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* 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-06 22:38:37 +0000