#168 |
Reorganise TODO files in distribution
|
David Aspinall
|
task
|
minor
|
fixed
|
16 years ago
|
#190 |
Improve proof shell initialisation order
|
David Aspinall
|
task
|
minor
|
wontfix
|
16 years ago
|
#192 |
Improve out-of-the-box behaviour for some common configurations
|
David Aspinall
|
enhancement
|
minor
|
wontfix
|
16 years ago
|
#217 |
Chosen logic: changes should invoke isabelle-load-isar-keywords
|
David Aspinall
|
defect
|
minor
|
wontfix
|
16 years ago
|
#226 |
Add configurable key bindings to Unicode Tokens tables
|
David Aspinall
|
enhancement
|
minor
|
wontfix
|
16 years ago
|
#228 |
Restore tracing slow mode if necessary
|
David Aspinall
|
enhancement
|
minor
|
wontfix
|
16 years ago
|
#230 |
Configuration simplification: unify regexp/function settings
|
David Aspinall
|
task
|
minor
|
wontfix
|
16 years ago
|
#231 |
Consider replacing maths-menu for token mode with own version
|
David Aspinall
|
enhancement
|
minor
|
wontfix
|
16 years ago
|
#279 |
Proof visibility controls broken
|
David Aspinall
|
defect
|
major
|
fixed
|
15 years ago
|
#289 |
Drawback of command wrapping in PG+Isar
|
David Aspinall
|
defect
|
minor
|
fixed
|
15 years ago
|
#290 |
Undo and delete for token input don't behave as expected
|
David Aspinall
|
defect
|
major
|
fixed
|
15 years ago
|
#293 |
Synchronisation losses with undo-on-edit
|
David Aspinall
|
defect
|
major
|
fixed
|
14 years ago
|
#294 |
Make pg-protected-undo allow in undo in comments of locked region
|
David Aspinall
|
defect
|
minor
|
fixed
|
14 years ago
|
#295 |
Undo on edit in ML-sections
|
David Aspinall
|
defect
|
minor
|
wontfix
|
14 years ago
|
#308 |
Emacs 23 slow -- especially on Cygwin
|
David Aspinall
|
defect
|
major
|
wontfix
|
14 years ago
|
#311 |
Unicode tokens: cannot select certain fonts from menu
|
David Aspinall
|
defect
|
minor
|
fixed
|
14 years ago
|
#312 |
Unicode tokens: add support for PhoX
|
David Aspinall
|
task
|
major
|
wontfix
|
14 years ago
|
#313 |
Unicode tokens: tweak support for Coq
|
David Aspinall
|
defect
|
minor
|
wontfix
|
14 years ago
|
#316 |
UI glitch: point still jumps about when follow-mode=never move
|
David Aspinall
|
defect
|
minor
|
fixed
|
14 years ago
|
#317 |
Report emacs bug: overlapping visibility properties
|
David Aspinall
|
task
|
minor
|
upstream
|
14 years ago
|
#318 |
Report emacs bug: segfault with use of display property/font-lock
|
David Aspinall
|
task
|
major
|
upstream
|
14 years ago
|
#319 |
delete would be nice if it didn't expant symbols
|
David Aspinall
|
enhancement
|
minor
|
duplicate
|
14 years ago
|
#324 |
Script management very slow on some platforms
|
David Aspinall
|
defect
|
major
|
fixed
|
14 years ago
|
#338 |
Report Emacs bug: subscript and superscripts don't work with native Mac OS Emacsen
|
David Aspinall
|
defect
|
major
|
upstream
|
14 years ago
|
#345 |
Semi-colons (';') cause outer syntax error: one command expected
|
David Aspinall
|
defect
|
minor
|
wontfix
|
14 years ago
|
#355 |
Autosend should be re-engaged after C-c C-n
|
David Aspinall
|
defect
|
major
|
wontfix
|
14 years ago
|
#363 |
Multiple file handling for Coq needs sensible treatment
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#371 |
electric terminator mode broken
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#376 |
Enable and complete testing of parser cache, add to user options menu
|
David Aspinall
|
task
|
major
|
fixed
|
13 years ago
|
#379 |
Syntax error in ProofGeneral.desktop file
|
David Aspinall
|
defect
|
trivial
|
fixed
|
13 years ago
|
#383 |
no deactivation-hooks when killing fully asserted active buffer
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#384 |
Isabelle process killed rudely
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#386 |
Coq goals counter not reset on backtracking out of proof
|
courtieu
|
defect
|
major
|
fixed
|
13 years ago
|
#387 |
Preferences lost when prover restarted
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#389 |
Mac OS X font selection problems
|
David Aspinall
|
defect
|
major
|
wontfix
|
13 years ago
|
#390 |
Odd progress markers in text mode
|
David Aspinall
|
defect
|
minor
|
duplicate
|
13 years ago
|
#394 |
Coq "Library" keyword - incorrect coloring
|
courtieu
|
defect
|
trivial
|
fixed
|
13 years ago
|
#395 |
proof-segment-up-to-using-cache broken since Oct 11 20:07:17 2010 +0200
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#396 |
error in proof-shell-insert-hook docstring
|
David Aspinall
|
defect
|
trivial
|
fixed
|
13 years ago
|
#397 |
Coq PG: changing scripting buffer and automatically restarting misses first command
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#398 |
Compilation failure with mmm and Emacs development version
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#399 |
dvi target in doc/Makefile.doc missing
|
David Aspinall
|
defect
|
minor
|
fixed
|
13 years ago
|
#400 |
assert newly added text in ancestor fails
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#403 |
comment-dwim and kill-rectangle in the locked region
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#404 |
Coq parse error with undelimited comment
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#407 |
proof-undo-and-delete-last-successful-command does not meet spec
|
David Aspinall
|
defect
|
minor
|
fixed
|
13 years ago
|
#408 |
Auto compile fails if coq-compile-response-buffer has been killed
|
David Aspinall
|
defect
|
minor
|
fixed
|
13 years ago
|
#410 |
coq parsing broken since Jun 04 20:12:40
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#411 |
wiki formatting corrupts tickets
|
David Aspinall
|
defect
|
minor
|
wontfix
|
13 years ago
|
#412 |
coq parsing broken since Jun 04 20:12:40 (II)
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#413 |
Clicking on Find icon does not bring up input buffer
|
David Aspinall
|
defect
|
major
|
worksforme
|
13 years ago
|
#414 |
PG thinks Preterm command is not state-preserving
|
David Aspinall
|
defect
|
trivial
|
fixed
|
13 years ago
|
#416 |
Emacs indentation can go into an infinite loop
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#418 |
Emacs is not responding after typing `Case "".<newline>`
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#420 |
Another Emacs indentation freeze
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#421 |
proof-shell-exit raises an exception "Buffer foo.v has no process"
|
coquser
|
defect
|
critical
|
fixed
|
13 years ago
|
#422 |
Support for entering ellipsis in electric terminator mode
|
David Aspinall
|
enhancement
|
minor
|
fixed
|
13 years ago
|
#423 |
List customisation variables use wrong widget
|
David Aspinall
|
defect
|
minor
|
fixed
|
13 years ago
|
#424 |
proof-shell-exit does not follow standard emacs policy with query-exit.
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|
#426 |
proof-user-options custom group partly broken
|
David Aspinall
|
defect
|
major
|
fixed
|
13 years ago
|