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

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

Results (101 - 200 of 510)

← 1 2 3 4 5 6 →

PG-Emacs-4.2 (18 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#391 proof-full-annotation causes instabilities 2:pg-emacs closed invalid defect major David Aspinall Apr 18, 2012
#433 unexpected cursor position after stepping through command with terminator at line ending 2:pg-emacs closed duplicate enhancement minor David Aspinall Apr 18, 2012
#272 Port identifier completion code from PG Eclipse. 2:pg-emacs closed wontfix enhancement minor David Aspinall Apr 18, 2012
#225 Allow Unicode Tokens to work smoothly for several modes at once 2:pg-emacs closed wontfix enhancement minor David Aspinall Apr 18, 2012
#406 auto compile bugs when some outputs is done by coqc 2:pg-emacs closed upstream defect critical coquser Apr 18, 2012
#437 compilation error with LANG=C 2:pg-emacs closed fixed defect major David Aspinall Apr 6, 2012
#436 Starting the coq process results in an error 2:pg-emacs closed fixed defect major David Aspinall Feb 28, 2012
#435 wrong behaviour of the period 2:pg-emacs closed fixed defect major David Aspinall Feb 7, 2012
#430 Make "Set Ltac Debug" work 2:pg-emacs closed fixed enhancement major David Aspinall Jan 10, 2012
#432 Add documentation of *trace* buffer to PG Adapting manual 2:pg-emacs closed fixed task major David Aspinall Jan 10, 2012
#378 Makefile "make" should detect wrong bytecode file version and rebuild 2:pg-emacs closed wontfix enhancement minor David Aspinall Jan 10, 2012
#431 "This subproof is complete" appears at bottom of goals 7:prover-coq closed needmoreinfo defect trivial David Aspinall Jan 9, 2012
#428 subsubsection links not working in PG doc 2:pg-emacs closed fixed defect critical David Aspinall Dec 7, 2011
#138 Can't insert text after locking a comment 2:pg-emacs closed fixed defect minor David Aspinall Oct 17, 2011
#427 defpacustom and undo 2:pg-emacs closed duplicate defect minor David Aspinall Sep 30, 2011
#405 Report Emacs bug: Quail input breaks delete-char behaviour 2:pg-emacs closed upstream defect major David Aspinall Jul 9, 2011
#350 Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" reveals hidden text in script buffer) 2:pg-emacs closed duplicate task minor David Aspinall Jun 7, 2011
#275 Overhaul script management command sending 2:pg-emacs closed wontfix task major David Aspinall Jan 12, 2011

PG-Emacs-4.1 (64 matches)

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

PG-Emacs-4.0 (18 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#328 Strange resizing of main buffer after minibuffer dialog corres 2:pg-emacs closed worksforme defect major David Aspinall Mar 13, 2015
#366 Fix documentation for mouse button commands 2:pg-emacs closed fixed defect major David Aspinall Oct 10, 2010
#375 PG goes into infinite loop with 100% CPU usage 2:pg-emacs closed invalid defect blocker David Aspinall Oct 10, 2010
#370 Proof General immediately starts processing the file as soon as I open it 2:pg-emacs closed invalid defect major David Aspinall Oct 10, 2010
#372 funny => sign all over my scripts 2:pg-emacs closed invalid defect major David Aspinall Oct 10, 2010
#374 cannot turn on electric-terminator interactively 2:pg-emacs closed invalid defect major David Aspinall Oct 8, 2010
#373 PG 4.0 forgets things. 2:pg-emacs closed needmoreinfo defect major David Aspinall Oct 8, 2010
#369 PG will not compile under non-windowing Emacs 2:pg-emacs closed fixed defect blocker David Aspinall Oct 7, 2010
#339 Infinite loop on module print with coq-8.3 2:pg-emacs closed fixed defect major David Aspinall Oct 4, 2010
#368 coq, already defined values 7:prover-coq closed needmoreinfo defect major David Aspinall Oct 4, 2010
#365 Fix three mouse bindings in proof-menu.el, pg-goals.el, and pg-vars.el 2:pg-emacs closed fixed defect major David Aspinall Oct 4, 2010
#362 Proof Completed message for Coq is lost 2:pg-emacs closed fixed defect minor David Aspinall Oct 4, 2010
#261 Finish support for proof-query-identifier 2:pg-emacs closed fixed defect major David Aspinall Oct 1, 2010
#356 Coq identifiers are unexpectedly colorized 7:prover-coq closed fixed defect minor David Aspinall Oct 1, 2010
#359 Fix coq.el bindings (coq-insert-term, proof-store-goals-win, & coq-SearchAbout) 7:prover-coq closed fixed defect minor David Aspinall Oct 1, 2010
#360 link to proof general is broken and lacks helpful message 2:pg-emacs closed fixed defect blocker David Aspinall Oct 1, 2010
#358 link to proof general is broken 2:pg-emacs closed invalid defect blocker David Aspinall Sep 27, 2010
#140 PG takes a long time printing module types in Coq 2:pg-emacs closed fixed defect major courtieu Sep 22, 2010
← 1 2 3 4 5 6 →
Note: See TracReports for help on using and creating reports.