diff options
| -rw-r--r-- | etc/coq/parsing.v | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/etc/coq/parsing.v b/etc/coq/parsing.v index 5858922d..be64e62e 100644 --- a/etc/coq/parsing.v +++ b/etc/coq/parsing.v @@ -2,8 +2,10 @@ (* nested comment: Since Coq has them, PG ought to be able to deal - with them. - *) + with them. They work fine in GNU Emacs, but + problematical in XEmacs. *) *) -Require Logic.
\ No newline at end of file +Require Logic. + +(* Comment at the end here. *) |