aboutsummaryrefslogtreecommitdiff
path: root/isar/isar-autotest.el
AgeCommit message (Expand)Author
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-03-08Remove compile-time calls to proof-ready-for-assistantClément Pit--Claudel
2017-03-08Fix incorrect assumption that noninteractive == byte-compilingClément Pit--Claudel
2012-09-02Repair operation with compiled code. Fails with interpreter, see Trac #445David Aspinall
2011-10-17Add fix and regression test for Trac #138David Aspinall
2011-01-31auto-solve -> auto-solve-direct for Isabelle2011.David Aspinall
2011-01-26Add autotest startDavid Aspinall
2011-01-25Remove debug messagesDavid Aspinall
2010-08-27Fix bug with nested spans, solving #344/#335David Aspinall
2010-08-18Clean flag settings for profiling. Add AHundredProofs.David Aspinall
2010-08-11Extend testingDavid Aspinall
2010-08-11Support custom syntactic fontification.David Aspinall
2010-08-08Note completeDavid Aspinall
2010-08-03Separate profiling from testingDavid Aspinall
2010-08-03Fix compileDavid Aspinall
2010-08-03Fix compilationDavid Aspinall
2010-08-03Resurrect autotest frameworkDavid Aspinall
2009-09-15Fix compile errorsDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2008-01-16Updated.David Aspinall
2007-12-14Remove eval-when, seems unreliableDavid Aspinall
2007-12-14Improve loading; these tests are not functioning yetDavid Aspinall
2007-02-28Fix commentDavid 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 08:06:55 +0000