aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar-autotest.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
* Repair operation with compiled code. Fails with interpreter, see Trac #445Gravatar David Aspinall2012-09-02
* Add fix and regression test for Trac #138Gravatar David Aspinall2011-10-17
* auto-solve -> auto-solve-direct for Isabelle2011.Gravatar David Aspinall2011-01-31
* Add autotest startGravatar David Aspinall2011-01-26
* Remove debug messagesGravatar David Aspinall2011-01-25
* Fix bug with nested spans, solving #344/#335Gravatar David Aspinall2010-08-27
* Clean flag settings for profiling. Add AHundredProofs.Gravatar David Aspinall2010-08-18
* Extend testingGravatar David Aspinall2010-08-11
* Support custom syntactic fontification.Gravatar David Aspinall2010-08-11
* Note completeGravatar David Aspinall2010-08-08
* Separate profiling from testingGravatar David Aspinall2010-08-03
* Fix compileGravatar David Aspinall2010-08-03
* Fix compilationGravatar David Aspinall2010-08-03
* Resurrect autotest frameworkGravatar David Aspinall2010-08-03
* Fix compile errorsGravatar David Aspinall2009-09-15
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Clean whitespaceGravatar David Aspinall2009-09-05
* Updated.Gravatar David Aspinall2008-01-16
* Remove eval-when, seems unreliableGravatar David Aspinall2007-12-14
* Improve loading; these tests are not functioning yetGravatar David Aspinall2007-12-14
* Fix commentGravatar David Aspinall2007-02-28
* Added simple testing framework (in progress)Gravatar David Aspinall2005-02-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 00:33:40 +0000