Custom Query (361 matches)
Results (16 - 18 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#370 | invalid | Proof General immediately starts processing the file as soon as I open it | ||
Description |
Proof General immediately starts processing my script as soon as I open it in Emacs (and enter proof-mode). I do not want this; some of my proofs cause Coq to crash or hang instantly upon loading, and once it crashes/hangs the region that caused the problem is locked. Please tell me how to disable this behavior. |
|||
#371 | fixed | electric terminator mode broken | ||
Description |
Electric terminator mode isn't working anymore with PG 4.0. When I type a period nothing happens. |
|||
#372 | invalid | funny => sign all over my scripts | ||
Description |
for some reason proof general 4.0 is putting this funny "=>" symbol all over my scripts. What's going on? |
Note: See TracQuery
for help on using queries.