diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-10-16 11:57:14 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-10-16 11:57:14 +0000 |
commit | d97e2a1af087837f6b7c5f29b2bc68646f33be4a (patch) | |
tree | f78688fe6e4e0a1c1009619fc962a5c2026921e1 /etc/trac | |
parent | 6e906c43f2bd69b3adafc7257075735b848ec295 (diff) |
Add pointer
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.&!&*\:,.:<*&!)@)$. |