diff options
Diffstat (limited to 'etc/trac')
| -rw-r--r-- | etc/trac/trac-296.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/trac/trac-296.v b/etc/trac/trac-296.v index b4b2770f..ac0e223f 100644 --- a/etc/trac/trac-296.v +++ b/etc/trac/trac-296.v @@ -1,2 +1,3 @@ -(* PG accepts this as valid though it isn't *) +(* PG accepts this as valid though it isn't; + see http://proofgeneral.inf.ed.ac.uk/trac/ticket/296 *) Check nat.&!&*\:,.:<*&!)@)$. |