diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-09-22 09:37:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-22 09:37:12 +0000 |
| commit | c440483752e4c36c24bf052390b7fa41d99127ef (patch) | |
| tree | bf9295bef1d18f4802e1993b8c913bc927c80ae5 /etc/trac | |
| parent | 50244404d9f435ab03397430d687102e19f69639 (diff) | |
add notes
Diffstat (limited to 'etc/trac')
| -rw-r--r-- | etc/trac/Trac140.v | 14 |
1 files changed, 13 insertions, 1 deletions
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. |