From c626065a6eabefd66e9a850dffe71a884cadafb3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Jul 2008 16:47:14 +0000
Subject: Trac regressions

---
 etc/trac/README       |  1 +
 etc/trac/trac-206.thy | 14 ++++++++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 etc/trac/README
 create mode 100644 etc/trac/trac-206.thy

diff --git a/etc/trac/README b/etc/trac/README
new file mode 100644
index 00000000..07b1721c
--- /dev/null
+++ b/etc/trac/README
@@ -0,0 +1 @@
+Small tests for regressions.  Indexed by trac bug number.
diff --git a/etc/trac/trac-206.thy b/etc/trac/trac-206.thy
new file mode 100644
index 00000000..d1d0a053
--- /dev/null
+++ b/etc/trac/trac-206.thy
@@ -0,0 +1,14 @@
+theory Test imports Main begin
+
+(* The special markup (for terms etc.) is not processed in minibuffer
+messages. For example: *)
+
+ML_command {* warning (Syntax.string_of_typ @{context} @{typ 'a}) *}
+
+term "\<lambda> x. x"
+
+(* Here the decoration for 'a shows up as funny control characters,
+instead of proper font-lock colouring.  *)
+
+end
+
-- 
cgit v1.2.3