From c440483752e4c36c24bf052390b7fa41d99127ef Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 22 Sep 2010 09:37:12 +0000 Subject: add notes --- etc/trac/Trac140.v | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) (limited to 'etc/trac') diff --git a/etc/trac/Trac140.v b/etc/trac/Trac140.v index b83727d7..0fc18bf2 100644 --- a/etc/trac/Trac140.v +++ b/etc/trac/Trac140.v @@ -1,3 +1,13 @@ +(* Follow example shows bad behaviour in low-level regexp matching + for output font locking. + + See http://proofgeneral.inf.ed.ac.uk/trac/ticket/140. *) + +(* Note: the bad behaviour seems to be triggered when the + pretty-printed output starts to print parameters on a + separate line and then gets successively worse. + p5 does this for me *) + Module Type T. Parameter p1 : nat. @@ -5,10 +15,12 @@ Parameter p2 : nat. Parameter p3 : nat. Parameter p4 : nat. Parameter p5 : nat. -Parameter p6 : nat. + +(* Parameter p6 : nat. Parameter p7 : nat. Parameter p8 : nat. Parameter p9 : nat. +*) End T. -- cgit v1.2.3