Custom Query (60 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (39 matches)

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

Resolution: wontfix (15 matches)

Ticket Summary Owner Type Priority Created Modified
#308 Emacs 23 slow -- especially on Cygwin David Aspinall defect major 11 years ago 10 years ago
#312 Unicode tokens: add support for PhoX David Aspinall task major 11 years ago 10 years ago
#355 Autosend should be re-engaged after C-c C-n David Aspinall defect major 10 years ago 10 years ago
#389 Mac OS X font selection problems David Aspinall defect major 10 years ago 10 years ago
#190 Improve proof shell initialisation order David Aspinall task minor 13 years ago 10 years ago
#192 Improve out-of-the-box behaviour for some common configurations David Aspinall enhancement minor 13 years ago 11 years ago
#217 Chosen logic: changes should invoke isabelle-load-isar-keywords David Aspinall defect minor 12 years ago 10 years ago
#226 Add configurable key bindings to Unicode Tokens tables David Aspinall enhancement minor 12 years ago 10 years ago
#228 Restore tracing slow mode if necessary David Aspinall enhancement minor 12 years ago 10 years ago
#230 Configuration simplification: unify regexp/function settings David Aspinall task minor 12 years ago 10 years ago
#231 Consider replacing maths-menu for token mode with own version David Aspinall enhancement minor 12 years ago 10 years ago
#295 Undo on edit in ML-sections David Aspinall defect minor 11 years ago 10 years ago
#313 Unicode tokens: tweak support for Coq David Aspinall defect minor 11 years ago 10 years ago
#345 Semi-colons (';') cause outer syntax error: one command expected David Aspinall defect minor 10 years ago 10 years ago
#411 wiki formatting corrupts tickets David Aspinall defect minor 9 years ago 9 years ago

Resolution: duplicate (2 matches)

Ticket Summary Owner Type Priority Created Modified
#319 delete would be nice if it didn't expant symbols David Aspinall enhancement minor 11 years ago 11 years ago
#390 Odd progress markers in text mode David Aspinall defect minor 10 years ago 10 years ago

Resolution: worksforme (1 match)

Ticket Summary Owner Type Priority Created Modified
#413 Clicking on Find icon does not bring up input buffer David Aspinall defect major 9 years ago 9 years ago

Resolution: upstream (3 matches)

Ticket Summary Owner Type Priority Created Modified
#318 Report emacs bug: segfault with use of display property/font-lock David Aspinall task major 11 years ago 9 years ago
#338 Report Emacs bug: subscript and superscripts don't work with native Mac OS Emacsen David Aspinall defect major 10 years ago 9 years ago
#317 Report emacs bug: overlapping visibility properties David Aspinall task minor 11 years ago 9 years ago
Note: See TracQuery for help on using queries.