aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-autotest.el
AgeCommit message (Expand)Author
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-04-25 10:52:58 +0000