index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
pg-autotest.el
Commit message (
Expand
)
Author
Age
*
Add pg-autotest-start to allow debug startup, which doesn't catch errors.
David Aspinall
2011-01-26
*
Dump *Messages* and *PG Debug* into log file, they have useful info.
David Aspinall
2011-01-25
*
Save the log file without querying user on exit
David Aspinall
2011-01-23
*
Add a master debug flag, and disable debug output ordinarily.
David Aspinall
2010-10-10
*
Activate debug message printing into log file
David Aspinall
2010-10-10
*
pg-autotest-find-file-restart: wait for retraction to complete.
David Aspinall
2010-09-08
*
Simplify
David Aspinall
2010-08-27
*
proof-debug advice: Fix passing format arg
David Aspinall
2010-08-18
*
quit-prover: avoid kill buffer query question
David Aspinall
2010-08-17
*
Extend testing
David Aspinall
2010-08-11
*
Add timestamps. Fix random jump spurious error.
David Aspinall
2010-08-08
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Simplify messaging code. Make sure random jumps do something. Fix assert-pr...
David Aspinall
2010-08-03
*
Improve printing of test parameters.
David Aspinall
2010-08-03
*
Resurrect autotest framework
David Aspinall
2010-08-03
*
Replace proof-locked-end -> proof-unprocessed-begin
David Aspinall
2009-11-30
*
Clean compile
David Aspinall
2009-09-10
*
Clean whitespace
David Aspinall
2009-09-05
*
Updated.
David Aspinall
2008-01-17
*
Fix requires
David Aspinall
2008-01-17
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Improve loading; these tests are not functioning yet
David Aspinall
2007-12-14
*
Added simple testing framework (in progress)
David Aspinall
2005-02-13