diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-11 16:55:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-11 16:55:13 +0000 |
| commit | b97d82c0af4bf658c28e531b762b87f291f792a5 (patch) | |
| tree | 56fd5698b27c59f9773e8ce1d9c3bcc343bafe87 /isar/isar-autotest.el | |
| parent | 9dd011c360dea5380ec003565c51185644d4c67f (diff) | |
Support custom syntactic fontification.
Diffstat (limited to 'isar/isar-autotest.el')
| -rw-r--r-- | isar/isar-autotest.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el index bee8d15a..19fe473a 100644 --- a/isar/isar-autotest.el +++ b/isar/isar-autotest.el @@ -32,6 +32,10 @@ (pg-autotest eval (isar-tracing:auto-solve-toggle 0)) ; autosolve hammers this! (pg-autotest eval (proof-full-annotation-toggle 0)) (pg-autotest script-wholefile "etc/isar/AHundredTheorems.thy") + + (pg-autotest remark "Now in tokens mode") + (pg-autotest eval (proof-unicode-tokens-toggle)) + (pg-autotest script-wholefile "isar/Example-Tokens.thy") (pg-autotest script-wholefile "isar/ex/Tarski.thy") (pg-autotest remark "Testing random jumps") @@ -41,10 +45,6 @@ (pg-autotest remark "Testing restarting the prover") (pg-autotest quit-prover) - (pg-autotest remark "Now in tokens mode") - (pg-autotest eval (proof-unicode-tokens-toggle)) - (pg-autotest script-wholefile "isar/Example-Tokens.thy") - (pg-autotest remark "Simple test of multiple file behaviour:") (pg-autotest script-wholefile "etc/isar/multiple/C.thy") |