Custom Query (361 matches)
Results (4 - 6 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #504 | fixed | Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left | ||
| Description |
When (= (point) (point-min)), the pair coq-grab-punctuation-left/coq-is-symbol-or-punct returns an error. |
|||
| #503 | fixed | Some coq output get lost for query processed just after an error stops the queue. | ||
| Description |
To reproduce: Check nat. (* 1 *) Check foo. (* 2 *) Check nat. (* 3 *) 1) process *directly* to (*2*), for example with C-c c-b. 2) query something, f.ex. C-c C-a C-c RET eq RET 3) nothing appears. |
|||
| #502 | fixed | Latest Makefile change breaks things everywhere except Mac | ||
| Description |
The most recent change to Makefile, changing the EMACS macro definition, causes PG building to fail everywhere except MacOS. |
|||
Note: See TracQuery
for help on using queries.
