From 360e5ff834acc02c3cd90bc392f4f7c9bca9ce99 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 30 Aug 2010 22:45:52 +0000
Subject: *** empty log message ***

---
 etc/trac/trac-346.v | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 etc/trac/trac-346.v

(limited to 'etc')

diff --git a/etc/trac/trac-346.v b/etc/trac/trac-346.v
new file mode 100644
index 00000000..e6cc67f4
--- /dev/null
+++ b/etc/trac/trac-346.v
@@ -0,0 +1,5 @@
+Open Scope ... (* is not colorized at all, *)
+
+Reserved Notation ... (* has only "Notation" colorized, *)
+
+Set Implicit Arguments. (* has only "Set" colorized, in a wrong way. *)
-- 
cgit v1.2.3