From fc2a22ab7926da663de15b1fad1eccb45145e6db Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Aug 2010 14:08:54 +0000
Subject: Note complete

---
 isar/isar-autotest.el | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
cgit v1.2.3