aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/coq
diff options
context:
space:
mode:
Diffstat (limited to 'etc/coq')
-rw-r--r--etc/coq/xemacs21528.v14
1 files changed, 14 insertions, 0 deletions
diff --git a/etc/coq/xemacs21528.v b/etc/coq/xemacs21528.v
new file mode 100644
index 00000000..bad593d7
--- /dev/null
+++ b/etc/coq/xemacs21528.v
@@ -0,0 +1,14 @@
+(* There are regexp problems with XEmacs 21.5.28 which break this example *)
+
+Module Type T.
+
+Parameter p1 : nat.
+Parameter p2 : nat.
+Parameter p3 : nat.
+Parameter p4 : nat.
+Parameter p5 : nat.
+Parameter p6 : nat.
+Parameter p7 : nat.
+Parameter p8 : nat.
+
+End T.