Custom Query (60 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Status: closed (60 matches)

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