From f43b78bcecd896c0873da71a3fdee0f311755aef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 10:34:50 +0000
Subject: Add bug ref

---
 etc/trac/trac-200.thy | 1 +
 etc/trac/trac-206.thy | 2 ++
 2 files changed, 3 insertions(+)

(limited to 'etc/trac')

diff --git a/etc/trac/trac-200.thy b/etc/trac/trac-200.thy
index 96a0c177..fabd04f6 100644
--- a/etc/trac/trac-200.thy
+++ b/etc/trac/trac-200.thy
@@ -1,3 +1,4 @@
+(* See trac #200 *)
 theory Trac200 imports Main begin
 
 (* Test simulating sledgehammer asynchronous output *)
diff --git a/etc/trac/trac-206.thy b/etc/trac/trac-206.thy
index 7884ff1b..7c0b26c8 100644
--- a/etc/trac/trac-206.thy
+++ b/etc/trac/trac-206.thy
@@ -1,3 +1,5 @@
+(* see trac #206 *)
+
 theory Trac206 imports Main begin
 
 (* The special markup (for terms etc.) is not processed in minibuffer
-- 
cgit v1.2.3