From 6920c391bacc554fcd45ba6cf0a0a1cc60ca0e54 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 12 Jul 2008 13:51:39 +0000
Subject: Updated.

---
 etc/trac/trac-206.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc')

diff --git a/etc/trac/trac-206.thy b/etc/trac/trac-206.thy
index d1d0a053..7884ff1b 100644
--- a/etc/trac/trac-206.thy
+++ b/etc/trac/trac-206.thy
@@ -1,4 +1,4 @@
-theory Test imports Main begin
+theory Trac206 imports Main begin
 
 (* The special markup (for terms etc.) is not processed in minibuffer
 messages. For example: *)
-- 
cgit v1.2.3