index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isar
/
isar-autotest.el
Commit message (
Expand
)
Author
Age
*
Repair operation with compiled code. Fails with interpreter, see Trac #445
David Aspinall
2012-09-02
*
Add fix and regression test for Trac #138
David Aspinall
2011-10-17
*
auto-solve -> auto-solve-direct for Isabelle2011.
David Aspinall
2011-01-31
*
Add autotest start
David Aspinall
2011-01-26
*
Remove debug messages
David Aspinall
2011-01-25
*
Fix bug with nested spans, solving #344/#335
David Aspinall
2010-08-27
*
Clean flag settings for profiling. Add AHundredProofs.
David Aspinall
2010-08-18
*
Extend testing
David Aspinall
2010-08-11
*
Support custom syntactic fontification.
David Aspinall
2010-08-11
*
Note complete
David Aspinall
2010-08-08
*
Separate profiling from testing
David Aspinall
2010-08-03
*
Fix compile
David Aspinall
2010-08-03
*
Fix compilation
David Aspinall
2010-08-03
*
Resurrect autotest framework
David Aspinall
2010-08-03
*
Fix compile errors
David Aspinall
2009-09-15
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Clean whitespace
David Aspinall
2009-09-05
*
Updated.
David Aspinall
2008-01-16
*
Remove eval-when, seems unreliable
David Aspinall
2007-12-14
*
Improve loading; these tests are not functioning yet
David Aspinall
2007-12-14
*
Fix comment
David Aspinall
2007-02-28
*
Added simple testing framework (in progress)
David Aspinall
2005-02-13