Custom Query (361 matches)
Results (55 - 57 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#410 | fixed | coq parsing broken since Jun 04 20:12:40 | ||
Description |
Hi, the commit http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/rev/d3cf65e2d4e4 brakes parsing in Coq. Try Require Export Coq.Lists.List. Notation "[ ]" := nil : list_scope. Notation "[ a ; .. ; b ]" := (a :: .. (b :: []) ..) : list_scope. Bye, Hendrik |
|||
#411 | wontfix | wiki formatting corrupts tickets | ||
Description |
Please disable the wiki formatting for tickets. There are many tickets, where the formatting makes the contents unreadable or does even corrupt the contents. Bye, Hendrik |
|||
#412 | fixed | coq parsing broken since Jun 04 20:12:40 (II) | ||
Description |
Here is another piece of Coq code that doesn't parse anymore: Record a : Type := make_a { aa : nat }. |
Note: See TracQuery
for help on using queries.