#421 |
proof-shell-exit raises an exception "Buffer foo.v has no process"
|
coquser
|
defect
|
critical
|
13 years ago
|
13 years ago
|
#386 |
Coq goals counter not reset on backtracking out of proof
|
courtieu
|
defect
|
major
|
13 years ago
|
13 years ago
|
#394 |
Coq "Library" keyword - incorrect coloring
|
courtieu
|
defect
|
trivial
|
13 years ago
|
13 years ago
|
#168 |
Reorganise TODO files in distribution
|
David Aspinall
|
task
|
minor
|
16 years ago
|
14 years ago
|
#279 |
Proof visibility controls broken
|
David Aspinall
|
defect
|
major
|
15 years ago
|
13 years ago
|
#289 |
Drawback of command wrapping in PG+Isar
|
David Aspinall
|
defect
|
minor
|
15 years ago
|
15 years ago
|
#290 |
Undo and delete for token input don't behave as expected
|
David Aspinall
|
defect
|
major
|
15 years ago
|
14 years ago
|
#293 |
Synchronisation losses with undo-on-edit
|
David Aspinall
|
defect
|
major
|
15 years ago
|
15 years ago
|
#294 |
Make pg-protected-undo allow in undo in comments of locked region
|
David Aspinall
|
defect
|
minor
|
15 years ago
|
14 years ago
|
#311 |
Unicode tokens: cannot select certain fonts from menu
|
David Aspinall
|
defect
|
minor
|
14 years ago
|
14 years ago
|
#316 |
UI glitch: point still jumps about when follow-mode=never move
|
David Aspinall
|
defect
|
minor
|
14 years ago
|
14 years ago
|
#324 |
Script management very slow on some platforms
|
David Aspinall
|
defect
|
major
|
14 years ago
|
13 years ago
|
#363 |
Multiple file handling for Coq needs sensible treatment
|
David Aspinall
|
defect
|
major
|
14 years ago
|
13 years ago
|
#371 |
electric terminator mode broken
|
David Aspinall
|
defect
|
major
|
14 years ago
|
14 years ago
|
#376 |
Enable and complete testing of parser cache, add to user options menu
|
David Aspinall
|
task
|
major
|
14 years ago
|
13 years ago
|
#379 |
Syntax error in ProofGeneral.desktop file
|
David Aspinall
|
defect
|
trivial
|
13 years ago
|
13 years ago
|
#383 |
no deactivation-hooks when killing fully asserted active buffer
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#384 |
Isabelle process killed rudely
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#387 |
Preferences lost when prover restarted
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#395 |
proof-segment-up-to-using-cache broken since Oct 11 20:07:17 2010 +0200
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#396 |
error in proof-shell-insert-hook docstring
|
David Aspinall
|
defect
|
trivial
|
13 years ago
|
13 years ago
|
#397 |
Coq PG: changing scripting buffer and automatically restarting misses first command
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#398 |
Compilation failure with mmm and Emacs development version
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#399 |
dvi target in doc/Makefile.doc missing
|
David Aspinall
|
defect
|
minor
|
13 years ago
|
13 years ago
|
#400 |
assert newly added text in ancestor fails
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#403 |
comment-dwim and kill-rectangle in the locked region
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#404 |
Coq parse error with undelimited comment
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#407 |
proof-undo-and-delete-last-successful-command does not meet spec
|
David Aspinall
|
defect
|
minor
|
13 years ago
|
13 years ago
|
#408 |
Auto compile fails if coq-compile-response-buffer has been killed
|
David Aspinall
|
defect
|
minor
|
13 years ago
|
13 years ago
|
#410 |
coq parsing broken since Jun 04 20:12:40
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#412 |
coq parsing broken since Jun 04 20:12:40 (II)
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#414 |
PG thinks Preterm command is not state-preserving
|
David Aspinall
|
defect
|
trivial
|
13 years ago
|
13 years ago
|
#416 |
Emacs indentation can go into an infinite loop
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#418 |
Emacs is not responding after typing `Case "".<newline>`
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#420 |
Another Emacs indentation freeze
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#422 |
Support for entering ellipsis in electric terminator mode
|
David Aspinall
|
enhancement
|
minor
|
13 years ago
|
13 years ago
|
#423 |
List customisation variables use wrong widget
|
David Aspinall
|
defect
|
minor
|
13 years ago
|
13 years ago
|
#424 |
proof-shell-exit does not follow standard emacs policy with query-exit.
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|
#426 |
proof-user-options custom group partly broken
|
David Aspinall
|
defect
|
major
|
13 years ago
|
13 years ago
|