aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-autotest.el
AgeCommit message (Expand)Author
2020-03-13Fix 464: proof-autoloads not found by EmacsPierre Courtieu
2018-12-14Fix remaining uses of CL; Make files more declarativeStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2011-01-26Add pg-autotest-start to allow debug startup, which doesn't catch errors.David Aspinall
2011-01-25Dump *Messages* and *PG Debug* into log file, they have useful info.David Aspinall
2011-01-23Save the log file without querying user on exitDavid Aspinall
2010-10-10Add a master debug flag, and disable debug output ordinarily.David Aspinall
2010-10-10Activate debug message printing into log fileDavid Aspinall
2010-09-08pg-autotest-find-file-restart: wait for retraction to complete.David Aspinall
2010-08-27SimplifyDavid Aspinall
2010-08-18proof-debug advice: Fix passing format argDavid Aspinall
2010-08-17quit-prover: avoid kill buffer query questionDavid Aspinall
2010-08-11Extend testingDavid Aspinall
2010-08-08Add timestamps. Fix random jump spurious error.David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2010-08-03Simplify messaging code. Make sure random jumps do something. Fix assert-pr...David Aspinall
2010-08-03Improve printing of test parameters.David Aspinall
2010-08-03Resurrect autotest frameworkDavid Aspinall
2009-11-30Replace proof-locked-end -> proof-unprocessed-beginDavid Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2008-01-17Updated.David Aspinall
2008-01-17Fix requiresDavid Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David 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-01-31 11:35:43 +0000