{6} All Tickets By Milestone (Including closed) (510 matches)

A more complex example to show how to make advanced reports.

Results (201 - 300 of 510)

← 1 2 3 4 5 6 →

PG-Emacs-4.0 (87 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#352 Unexpected shift in toolbar buttons 2:pg-emacs closed fixed defect major David Aspinall Sep 22, 2010
#349 proof-process-buffer in a single shot (Mac OS X) 2:pg-emacs closed invalid defect major David Aspinall Sep 4, 2010
#346 Coq multiple keywords are wrongly colorized 2:pg-emacs closed fixed defect major David Aspinall Sep 1, 2010
#348 Need to update in coq-syntax.el the keywords containing the word Local 7:prover-coq closed fixed defect minor David Aspinall Aug 30, 2010
#347 Slight change in proof-store-buffer-win to enable undo in the Notepad 7:prover-coq closed fixed enhancement minor David Aspinall Aug 30, 2010
#343 Missing test in proof-store-buffer-win 7:prover-coq closed fixed defect minor David Aspinall Aug 30, 2010
#344 proof-retract-buffer incomplete 2:pg-emacs closed fixed defect major David Aspinall Aug 28, 2010
#335 Script management: old-style undo broken in Isar 2:pg-emacs closed worksforme defect major David Aspinall Aug 24, 2010
#287 Script management flaws 2:pg-emacs closed fixed defect major David Aspinall Aug 24, 2010
#342 Distracting error (actually raised by coq-command-at-point) 7:prover-coq closed fixed defect minor David Aspinall Aug 24, 2010
#193 Fix output of texi2html 6:web-and-docs closed fixed defect major David Aspinall Aug 23, 2010
#340 Key binding syntax in proof-splash.el 2:pg-emacs closed fixed defect minor David Aspinall Aug 22, 2010
#341 Suggestion to recover the default C-h suffix for Emacs keys help 2:pg-emacs closed fixed enhancement major David Aspinall Aug 22, 2010
#280 Unicode Tokens: cleanups 2:pg-emacs closed fixed enhancement major David Aspinall Aug 19, 2010
#326 Strange warnings on Emacs for Mac OS X 2:pg-emacs closed invalid defect major David Aspinall Aug 18, 2010
#337 C-c C-a h is undefined 2:pg-emacs closed duplicate defect major David Aspinall Aug 18, 2010
#334 Broken Keybindings for Show Me -> ... and others 2:pg-emacs closed fixed defect major David Aspinall Aug 18, 2010
#332 Minibuffer display of first line of urgent messages lost? 2:pg-emacs closed invalid defect major David Aspinall Aug 17, 2010
#333 Restart tool button points to manual 2:pg-emacs closed worksforme defect major David Aspinall Aug 17, 2010
#330 Error raised by proof-issue-goal and proof-issue-save 2:pg-emacs closed fixed defect major David Aspinall Aug 16, 2010
#331 Coq config for proof-goal-command and proof-save-command 7:prover-coq closed fixed enhancement minor David Aspinall Aug 16, 2010
#288 Splash screen misbehaves 2:pg-emacs closed fixed defect major David Aspinall Aug 11, 2010
#329 Unwanted kill-buffer at startup 2:pg-emacs closed duplicate defect major David Aspinall Aug 11, 2010
#327 Elisp stack overflow when retracting many files at once 2:pg-emacs closed fixed defect major David Aspinall Aug 4, 2010
#325 Splash buffer occupies half the frame 2:pg-emacs closed duplicate defect trivial David Aspinall Jul 26, 2010
#323 Strange errors of make compile concerning save-excursion/set-buffer 2:pg-emacs closed fixed defect major David Aspinall Jul 23, 2010
#314 Duplication of some special messages 2:pg-emacs closed fixed defect major David Aspinall Jul 1, 2010
#321 Retract buffer broken 2:pg-emacs closed needmoreinfo defect major David Aspinall Jun 27, 2010
#322 Isabelle: "error in process filter: Wrong number of arguments" when using tracing() in ML 2:pg-emacs closed invalid defect major David Aspinall May 11, 2010
#269 Aquamacs key bindings don't work 2:pg-emacs closed needmoreinfo defect minor David Aspinall Apr 26, 2010
#234 unicode-tokens: add command to highlight unicode characters 2:pg-emacs closed fixed enhancement major David Aspinall Apr 26, 2010
#302 Coq mode requires hilit19.el which is not in Emacs 23 2:pg-emacs closed invalid defect major David Aspinall Apr 26, 2010
#262 make jobserver unavailable 2:pg-emacs closed fixed defect minor David Aspinall Apr 26, 2010
#301 Ubuntu 9.10: PG menus broken 2:pg-emacs closed invalid defect major David Aspinall Apr 26, 2010
#166 Out of sync on illegal escape character 2:pg-emacs closed fixed defect major David Aspinall Jan 26, 2010
#320 Processing currently gobbles comments and white space: better if it didn't 2:pg-emacs closed invalid enhancement minor David Aspinall Dec 9, 2009
#315 failure to show ML errors 2:pg-emacs closed needmoreinfo defect major David Aspinall Dec 4, 2009
#310 Subscripts in locked region are revealed the moment you finish a lemma 2:pg-emacs closed fixed defect minor David Aspinall Dec 4, 2009
#303 underlining on error sucks 2:pg-emacs closed fixed defect major David Aspinall Dec 2, 2009
#306 Odd display of sub/superscripts 2:pg-emacs closed fixed defect major David Aspinall Dec 1, 2009
#300 Emacs 22: strange keyword categorization 2:pg-emacs closed fixed defect major David Aspinall Dec 1, 2009
#298 Isabelle indentation 2:pg-emacs closed fixed defect major David Aspinall Dec 1, 2009
#307 synchronization loss with interrupts 2:pg-emacs closed fixed defect major David Aspinall Nov 30, 2009
#309 -p option (Isar interface) does not permit additional parameters to emacs executable 2:pg-emacs closed fixed defect minor David Aspinall Nov 28, 2009
#292 Goal buffer not updated on "undo" and "goto 2:pg-emacs closed fixed defect major David Aspinall Nov 23, 2009
#299 Out of sync with Isabelle 2:pg-emacs closed needmoreinfo defect major David Aspinall Nov 16, 2009
#305 High overhead 2:pg-emacs closed needmoreinfo enhancement major David Aspinall Nov 16, 2009
#304 Isabelle: trying to undo a step fails for me 2:pg-emacs closed invalid defect major David Aspinall Nov 12, 2009
#297 Finding of lisp relative to the "proofgeneral" script is broken 2:pg-emacs closed fixed defect major David Aspinall Oct 16, 2009
#291 3-Panel-mode: Strange buffer switch when loading a theory 2:pg-emacs closed fixed defect minor David Aspinall Sep 27, 2009
#281 Odd unicode abbreviations, notably |> 2:pg-emacs closed fixed defect minor David Aspinall Sep 21, 2009
#227 Recover active scripting modeline indicator 2:pg-emacs closed fixed enhancement minor David Aspinall Sep 21, 2009
#285 byte compilation 2:pg-emacs closed fixed defect major David Aspinall Sep 21, 2009
#170 Improve outline syntax for Isar 2:pg-emacs closed fixed enhancement minor David Aspinall Sep 14, 2009
#278 Resolve pointer-movement issues during script management 2:pg-emacs closed fixed defect major David Aspinall Sep 11, 2009
#284 proof-process-buffer very slow 2:pg-emacs closed fixed defect major David Aspinall Sep 11, 2009
#258 Copying from response buffer also copies colour control chars 2:pg-emacs closed fixed defect major David Aspinall Sep 9, 2009
#286 PG startup crash 2:pg-emacs closed fixed defect major David Aspinall Sep 9, 2009
#191 Code cleanup: remove proof-no-command 2:pg-emacs closed fixed task minor David Aspinall Sep 4, 2009
#282 Emacs 23.1.1 on Mac OS: no toolbar 2:pg-emacs closed invalid defect major David Aspinall Sep 3, 2009
#283 assert command etc.: strange movement of point 2:pg-emacs closed duplicate defect major David Aspinall Sep 3, 2009
#277 span start vs. command start 2:pg-emacs closed fixed defect major David Aspinall Aug 31, 2009
#274 Max lisp nesting exceeded on large error outputs 2:pg-emacs closed fixed defect major Makarius Aug 31, 2009
#211 Coq : deactivation of the 'Holes' functionality 2:pg-emacs closed fixed enhancement minor David Aspinall Aug 31, 2009
#199 Allow use of Isabelle.command to wrap commands singly 2:pg-emacs closed fixed enhancement minor David Aspinall Aug 20, 2009
#179 Losing sync with interrupt 2:pg-emacs closed fixed defect major David Aspinall Aug 17, 2009
#188 Option to treat comments as individual statements. 2:pg-emacs closed fixed enhancement minor David Aspinall Aug 17, 2009
#271 Special characters in Isabelle identifiers missing? 2:pg-emacs closed fixed defect major David Aspinall Aug 14, 2009
#270 Odd PG/Trac link 2:pg-emacs closed fixed defect major David Aspinall Aug 10, 2009
#232 Add documentation for Unicode Tokens mode 2:pg-emacs closed fixed enhancement major David Aspinall Jul 30, 2009
#220 Remove X-Symbol, XEmacs support and backward compatibility 2:pg-emacs closed fixed task blocker David Aspinall Jul 30, 2009
#218 Add documentation for Isabelle settings 2:pg-emacs closed fixed defect major David Aspinall Jul 30, 2009
#137 Add output highlighting/insert support for Isar and sledgehammer ("Sendback") 2:pg-emacs closed fixed enhancement minor David Aspinall May 26, 2009
#264 GNU Emacs 22.2.1 (SuSE): tty fails 2:pg-emacs closed worksforme defect minor David Aspinall May 26, 2009
#229 Restore mouse and button actions in goals buffers 2:pg-emacs closed fixed enhancement minor David Aspinall May 26, 2009
#237 Odd behaviour of C-w in script buffers 2:pg-emacs closed needmoreinfo defect major David Aspinall May 26, 2009
#222 Urgent messages override errors 2:pg-emacs closed needmoreinfo enhancement major David Aspinall May 26, 2009
#187 If sent command fails, don't move the cursor. 2:pg-emacs closed fixed enhancement minor David Aspinall May 26, 2009
#235 Emacs forgets unicode tokens option 2:pg-emacs closed fixed defect major David Aspinall May 26, 2009
#266 Limited hilite markup (in Isabelle) 2:pg-emacs closed fixed defect major David Aspinall May 26, 2009
#267 Isabelle sendback markup dysfunctional 2:pg-emacs closed fixed defect major David Aspinall May 26, 2009
#268 Hiding proofs wrong with Coq 2:pg-emacs closed fixed defect major David Aspinall May 25, 2009
#265 Cannot open load file: easymenu 2:pg-emacs closed invalid defect major David Aspinall Apr 30, 2009
#263 proof-shell-trace-output-regexp in trace output 2:pg-emacs closed fixed defect major David Aspinall Mar 31, 2009
#257 Byte Compilation fails because of comments in the completion file 2:pg-emacs closed invalid defect minor David Aspinall Nov 11, 2008
#236 Crash when entering antiquotation 2:pg-emacs closed fixed defect major David Aspinall Sep 18, 2008
#177 Complete Unicode Token coding system and input method 2:pg-emacs closed fixed enhancement major David Aspinall Jul 19, 2008

PG-Emacs-3.7.1 (13 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#216 Toolbar size on Carbon Emacs 2:pg-emacs closed wontfix defect minor David Aspinall Apr 26, 2010
#205 x-symbol fails in Carbon Emacs 2:pg-emacs closed duplicate defect major David Aspinall Apr 26, 2010
#233 Coq fails to start 2:pg-emacs closed fixed defect major David Aspinall Jan 26, 2010
#206 Special markup not processed in minibuffer messages (warnings etc.) 2:pg-emacs closed fixed defect major David Aspinall May 26, 2009
#224 X-Symbol on Carbon Emacs 1.6.0: problem with sub/superscripts 2:pg-emacs closed wontfix defect major David Aspinall Jul 22, 2008
#223 \<zero> vs. \<one> tokens 2:pg-emacs closed fixed defect major David Aspinall Jul 18, 2008
#221 XEmacs 21.4.x: Isabelle logic menu broken 2:pg-emacs closed fixed defect major David Aspinall Jul 17, 2008
#219 Fix path loading for docstring magic in ProofGeneral.texi 2:pg-emacs closed fixed defect major David Aspinall Jul 12, 2008
#198 Prover executable not found when running without interface script 2:pg-emacs closed fixed defect major David Aspinall Jul 10, 2008
#176 Allow isabelle-chosen-logic to be set by variable comment in thy file 2:pg-emacs closed fixed enhancement minor David Aspinall Jul 10, 2008
#215 Emacs 23: toolbar issues 2:pg-emacs closed fixed defect major David Aspinall Jul 10, 2008
#200 Sledgehammer output broken 2:pg-emacs closed fixed defect major David Aspinall Jul 10, 2008
#214 Processing of buffer sensitive to Unicode option 2:pg-emacs closed fixed defect major David Aspinall Jul 10, 2008
← 1 2 3 4 5 6 →
Note: See TracReports for help on using and creating reports.