{12} Newest Tickets (20 matches)

20 Newest Tickets.

Ticket Summary Component Version Milestone Type Owner Status Created
#160 "Abort" keyword not recognized in Coq 2:pg-emacs PG-Emacs-3.7 defect David Aspinall closed Nov 12, 2007
#431 "This subproof is complete" appears at bottom of goals 7:prover-coq PG-Emacs-4.2 defect David Aspinall closed Nov 13, 2011
#485 "Time commands" option offsets the cursor when errors are reported 2:pg-emacs PG-Emacs-4.3 defect David Aspinall closed Oct 16, 2013
#154 "restart" doesn't work 1:pg-eclipse defect alex heneveld closed Oct 6, 2007
#353 "undo last proof command" does not work at the end of theory 1:pg-eclipse defect David Aspinall new Sep 14, 2010
#309 -p option (Isar interface) does not permit additional parameters to emacs executable 2:pg-emacs PG-Emacs-4.0 defect David Aspinall closed Nov 27, 2009
#291 3-Panel-mode: Strange buffer switch when loading a theory 2:pg-emacs PG-Emacs-4.0 defect David Aspinall closed Sep 23, 2009
#148 Add "continual validation" mode to PGIP 5:PGIP-design defect David Aspinall new Sep 16, 2007
#146 Add "sendback" messages to match behaviour added to PG Emacs 5:PGIP-design enhancement David Aspinall new Sep 14, 2007
#103 Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1) 7:prover-coq PG-Emacs-3.7 enhancement David Aspinall closed Mar 12, 2007
#71 Add Error Decoration to documents; optimise Active Script Decoration 1:pg-eclipse enhancement Graham Dutton closed Feb 7, 2007
#97 Add Pretty.markup to parse tree output 4:prover-isabelle defect David Aspinall new Mar 10, 2007
#76 Add Prove-As-You-Type option 1:pg-eclipse enhancement David Aspinall new Feb 21, 2007
#143 Add XML/PGIP test scripts to Isabelle/Admin distribution 4:prover-isabelle enhancement David Aspinall closed Sep 14, 2007
#38 Add automated testing framework 1:pg-eclipse enhancement alex heneveld new Jan 30, 2007
#17 Add clear button for prover output 1:pg-eclipse enhancement Graham Dutton accepted Jan 30, 2007
#6 Add code folding for proof scripts 1:pg-eclipse enhancement David Aspinall closed Jan 29, 2007
#136 Add compare support for proof scripts 1:pg-eclipse enhancement David Aspinall new Jul 19, 2007
#226 Add configurable key bindings to Unicode Tokens tables 2:pg-emacs PG-Emacs-4.1 enhancement David Aspinall closed Jul 19, 2008
#218 Add documentation for Isabelle settings 2:pg-emacs PG-Emacs-4.0 defect David Aspinall closed Jul 10, 2008
Note: See TracReports for help on using and creating reports.