diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 00:29:16 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 00:29:16 +0000 |
commit | 2ec38bd4df71328e501894c8d46b9cf005237396 (patch) | |
tree | 2f093da98bc9851afe76c71eb67a441d2cda23b7 /isar/isar-autotest.el | |
parent | b83bc49faed6cbb97c96c0201bc0872315d0f6db (diff) |
Updated.
Diffstat (limited to 'isar/isar-autotest.el')
-rw-r--r-- | isar/isar-autotest.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el index 6bcfc0bc..8d6aae95 100644 --- a/isar/isar-autotest.el +++ b/isar/isar-autotest.el @@ -7,7 +7,7 @@ (require 'pg-autotest) -(unless (noninteractive) +(unless noninteractive ;; The included test files (pg-autotest message "Testing standard Example.thy, Example-Xsym.thy") |