Opened 17 years ago
Closed 17 years ago
#103 closed enhancement (fixed)
Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1)
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-3.7 |
| Component: | 7:prover-coq | Keywords: | |
| Cc: |
Description
Coq still uses the troublesome UTF-8 prefix character that causes the "hang" in FAQ no.1.
It should use an ASCII markup instead, like Isabelle's -mASCII flag.
Note: See
TracTickets for help on using
tickets.
This has actually been provided a while ago, as coq-utf-safe.