Custom Query (361 matches)
Results (121 - 123 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#360 | fixed | link to proof general is broken and lacks helpful message | ||
Description |
The link to Proof General 4.0 on http://proofgeneral.inf.ed.ac.uk/download is broken and the comment next to the link simply says "link broken" instead of something more helpful like "not yet available, here is the link to the previous version". |
|||
#359 | fixed | Fix coq.el bindings (coq-insert-term, proof-store-goals-win, & coq-SearchAbout) | ||
Description |
I suggest to fix 3 key bindings issues in coq/coq.el:
The correct binding triggered by the keystroke
For a similar reason to #341, we should avoid to bind a key that
involves a
And for Kind regards, Erik Martin-Dorel. |
|||
#358 | invalid | link to proof general is broken | ||
Description |
The link to Proof General 4.0 on http://proofgeneral.inf.ed.ac.uk/download is broken. The web page also says "link broken". |