Custom Query (96 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Status: closed (96 matches)

Ticket Summary Owner Type Priority Resolution Created
#220 Remove X-Symbol, XEmacs support and backward compatibility David Aspinall task blocker fixed 16 years ago
#358 link to proof general is broken David Aspinall defect blocker invalid 14 years ago
#360 link to proof general is broken and lacks helpful message David Aspinall defect blocker fixed 14 years ago
#369 PG will not compile under non-windowing Emacs David Aspinall defect blocker fixed 14 years ago
#375 PG goes into infinite loop with 100% CPU usage David Aspinall defect blocker invalid 14 years ago
#140 PG takes a long time printing module types in Coq courtieu defect major fixed 17 years ago
#166 Out of sync on illegal escape character David Aspinall defect major fixed 16 years ago
#177 Complete Unicode Token coding system and input method David Aspinall enhancement major fixed 16 years ago
#179 Losing sync with interrupt David Aspinall defect major fixed 16 years ago
#218 Add documentation for Isabelle settings David Aspinall defect major fixed 16 years ago
#222 Urgent messages override errors David Aspinall enhancement major needmoreinfo 16 years ago
#232 Add documentation for Unicode Tokens mode David Aspinall enhancement major fixed 16 years ago
#234 unicode-tokens: add command to highlight unicode characters David Aspinall enhancement major fixed 16 years ago
#235 Emacs forgets unicode tokens option David Aspinall defect major fixed 16 years ago
#236 Crash when entering antiquotation David Aspinall defect major fixed 16 years ago
#237 Odd behaviour of C-w in script buffers David Aspinall defect major needmoreinfo 16 years ago
#258 Copying from response buffer also copies colour control chars David Aspinall defect major fixed 15 years ago
#261 Finish support for proof-query-identifier David Aspinall defect major fixed 15 years ago
#263 proof-shell-trace-output-regexp in trace output David Aspinall defect major fixed 15 years ago
#265 Cannot open load file: easymenu David Aspinall defect major invalid 15 years ago
#266 Limited hilite markup (in Isabelle) David Aspinall defect major fixed 15 years ago
#267 Isabelle sendback markup dysfunctional David Aspinall defect major fixed 15 years ago
#268 Hiding proofs wrong with Coq David Aspinall defect major fixed 15 years ago
#270 Odd PG/Trac link David Aspinall defect major fixed 15 years ago
#271 Special characters in Isabelle identifiers missing? David Aspinall defect major fixed 15 years ago
#274 Max lisp nesting exceeded on large error outputs Makarius defect major fixed 15 years ago
#277 span start vs. command start David Aspinall defect major fixed 15 years ago
#278 Resolve pointer-movement issues during script management David Aspinall defect major fixed 15 years ago
#280 Unicode Tokens: cleanups David Aspinall enhancement major fixed 15 years ago
#282 Emacs 23.1.1 on Mac OS: no toolbar David Aspinall defect major invalid 15 years ago
#283 assert command etc.: strange movement of point David Aspinall defect major duplicate 15 years ago
#284 proof-process-buffer very slow David Aspinall defect major fixed 15 years ago
#285 byte compilation David Aspinall defect major fixed 15 years ago
#286 PG startup crash David Aspinall defect major fixed 15 years ago
#287 Script management flaws David Aspinall defect major fixed 15 years ago
#288 Splash screen misbehaves David Aspinall defect major fixed 15 years ago
#292 Goal buffer not updated on "undo" and "goto David Aspinall defect major fixed 15 years ago
#297 Finding of lisp relative to the "proofgeneral" script is broken David Aspinall defect major fixed 15 years ago
#298 Isabelle indentation David Aspinall defect major fixed 15 years ago
#299 Out of sync with Isabelle David Aspinall defect major needmoreinfo 15 years ago
#300 Emacs 22: strange keyword categorization David Aspinall defect major fixed 14 years ago
#301 Ubuntu 9.10: PG menus broken David Aspinall defect major invalid 14 years ago
#302 Coq mode requires hilit19.el which is not in Emacs 23 David Aspinall defect major invalid 14 years ago
#303 underlining on error sucks David Aspinall defect major fixed 14 years ago
#304 Isabelle: trying to undo a step fails for me David Aspinall defect major invalid 14 years ago
#305 High overhead David Aspinall enhancement major needmoreinfo 14 years ago
#306 Odd display of sub/superscripts David Aspinall defect major fixed 14 years ago
#307 synchronization loss with interrupts David Aspinall defect major fixed 14 years ago
#314 Duplication of some special messages David Aspinall defect major fixed 14 years ago
#315 failure to show ML errors David Aspinall defect major needmoreinfo 14 years ago
#321 Retract buffer broken David Aspinall defect major needmoreinfo 14 years ago
#322 Isabelle: "error in process filter: Wrong number of arguments" when using tracing() in ML David Aspinall defect major invalid 14 years ago
#323 Strange errors of make compile concerning save-excursion/set-buffer David Aspinall defect major fixed 14 years ago
#326 Strange warnings on Emacs for Mac OS X David Aspinall defect major invalid 14 years ago
#327 Elisp stack overflow when retracting many files at once David Aspinall defect major fixed 14 years ago
#328 Strange resizing of main buffer after minibuffer dialog corres David Aspinall defect major worksforme 14 years ago
#329 Unwanted kill-buffer at startup David Aspinall defect major duplicate 14 years ago
#330 Error raised by proof-issue-goal and proof-issue-save David Aspinall defect major fixed 14 years ago
#332 Minibuffer display of first line of urgent messages lost? David Aspinall defect major invalid 14 years ago
#333 Restart tool button points to manual David Aspinall defect major worksforme 14 years ago
#334 Broken Keybindings for Show Me -> ... and others David Aspinall defect major fixed 14 years ago
#335 Script management: old-style undo broken in Isar David Aspinall defect major worksforme 14 years ago
#337 C-c C-a h is undefined David Aspinall defect major duplicate 14 years ago
#339 Infinite loop on module print with coq-8.3 David Aspinall defect major fixed 14 years ago
#341 Suggestion to recover the default C-h suffix for Emacs keys help David Aspinall enhancement major fixed 14 years ago
#344 proof-retract-buffer incomplete David Aspinall defect major fixed 14 years ago
#346 Coq multiple keywords are wrongly colorized David Aspinall defect major fixed 14 years ago
#349 proof-process-buffer in a single shot (Mac OS X) David Aspinall defect major invalid 14 years ago
#352 Unexpected shift in toolbar buttons David Aspinall defect major fixed 14 years ago
#365 Fix three mouse bindings in proof-menu.el, pg-goals.el, and pg-vars.el David Aspinall defect major fixed 14 years ago
#366 Fix documentation for mouse button commands David Aspinall defect major fixed 14 years ago
#370 Proof General immediately starts processing the file as soon as I open it David Aspinall defect major invalid 14 years ago
#372 funny => sign all over my scripts David Aspinall defect major invalid 14 years ago
#373 PG 4.0 forgets things. David Aspinall defect major needmoreinfo 14 years ago
#374 cannot turn on electric-terminator interactively David Aspinall defect major invalid 14 years ago
#137 Add output highlighting/insert support for Isar and sledgehammer ("Sendback") David Aspinall enhancement minor fixed 17 years ago
#170 Improve outline syntax for Isar David Aspinall enhancement minor fixed 16 years ago
#187 If sent command fails, don't move the cursor. David Aspinall enhancement minor fixed 16 years ago
#188 Option to treat comments as individual statements. David Aspinall enhancement minor fixed 16 years ago
#191 Code cleanup: remove proof-no-command David Aspinall task minor fixed 16 years ago
#199 Allow use of Isabelle.command to wrap commands singly David Aspinall enhancement minor fixed 16 years ago
#211 Coq : deactivation of the 'Holes' functionality David Aspinall enhancement minor fixed 16 years ago
#227 Recover active scripting modeline indicator David Aspinall enhancement minor fixed 16 years ago
#229 Restore mouse and button actions in goals buffers David Aspinall enhancement minor fixed 16 years ago
#257 Byte Compilation fails because of comments in the completion file David Aspinall defect minor invalid 15 years ago
#262 make jobserver unavailable David Aspinall defect minor fixed 15 years ago
#264 GNU Emacs 22.2.1 (SuSE): tty fails David Aspinall defect minor worksforme 15 years ago
#269 Aquamacs key bindings don't work David Aspinall defect minor needmoreinfo 15 years ago
#281 Odd unicode abbreviations, notably |> David Aspinall defect minor fixed 15 years ago
#291 3-Panel-mode: Strange buffer switch when loading a theory David Aspinall defect minor fixed 15 years ago
#309 -p option (Isar interface) does not permit additional parameters to emacs executable David Aspinall defect minor fixed 14 years ago
#310 Subscripts in locked region are revealed the moment you finish a lemma David Aspinall defect minor fixed 14 years ago
#320 Processing currently gobbles comments and white space: better if it didn't David Aspinall enhancement minor invalid 14 years ago
#340 Key binding syntax in proof-splash.el David Aspinall defect minor fixed 14 years ago
#362 Proof Completed message for Coq is lost David Aspinall defect minor fixed 14 years ago
#325 Splash buffer occupies half the frame David Aspinall defect trivial duplicate 14 years ago
Note: See TracQuery for help on using queries.