diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 14:08:54 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 14:08:54 +0000 |
commit | fc2a22ab7926da663de15b1fad1eccb45145e6db (patch) | |
tree | 3cfe72baf65505c351ddabb20d8c4c7a131064d8 /isar/isar-autotest.el | |
parent | 95d8a7f7364fde5af433ffa0e6c9f5bf664c5ebc (diff) |
Note complete
Diffstat (limited to 'isar/isar-autotest.el')
-rw-r--r-- | isar/isar-autotest.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el index 398b6942..bee8d15a 100644 --- a/isar/isar-autotest.el +++ b/isar/isar-autotest.el @@ -59,6 +59,7 @@ (pg-autotest quit-prover) + (pg-autotest remark "Complete") (pg-autotest timetaken 'total) (pg-autotest exit) |