From f96976a3956e71fd57044bd9f454ea1d32c202ab Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 15 Aug 2010 22:30:54 +0000
Subject: Elisp timing

---
 etc/isar/AHundredTheorems.thy | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/isar/AHundredTheorems.thy b/etc/isar/AHundredTheorems.thy
index cc2aebe7..b26bf539 100644
--- a/etc/isar/AHundredTheorems.thy
+++ b/etc/isar/AHundredTheorems.thy
@@ -1,9 +1,10 @@
 theory AHundredTheorems imports Main
 begin
 
+(* test this *)
 
-(* ELISP: -- (setq start (current-time)) -- *)
 ML {* val start = start_timing(); *}
+(* ELISP: -- (setq start (current-time)) -- *)
 
 lemma foo: "P --> P" by auto
 lemma foo2: "P --> P" by auto
-- 
cgit v1.2.3