Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
Available Reports
New Custom Query
{12} Newest Tickets
(20 matches)
Max items per page
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.
Download in other formats:
RSS Feed
Comma-delimited Text
Tab-delimited Text
SQL Query