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
#448
Repair autotest load sequence so works in compiled and interpreted code
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
accepted
Sep 2, 2012
#425
Consider simplifying span amalgamation to match prover undo behaviour
2:pg-emacs
PG-Emacs-4.3
task
David Aspinall
accepted
Sep 19, 2011
#401
Parser cache does not respect fly-past-comments
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
accepted
May 16, 2011
#385
Isabelle theorem dependencies display broken
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
accepted
Jan 23, 2011
#367
Fix web pages and update screenshots
2:pg-emacs
PG-Emacs-4.3
task
David Aspinall
accepted
Oct 4, 2010
#364
Unify proof-query-identifier and pg-identifier-near-point-query (cleanup)
2:pg-emacs
PG-Emacs-4.3
task
David Aspinall
accepted
Oct 1, 2010
#361
Generic adjustment of prover's pretty-printing width
2:pg-emacs
PG-Emacs-4.3
task
David Aspinall
accepted
Oct 1, 2010
#351
Show/hide of proofs in Coq can hide too much
2:pg-emacs
PG-Emacs-4.3
defect
David Aspinall
accepted
Sep 8, 2010
#276
Unicode tokens: resolve font-lock issues, optimise
2:pg-emacs
PG-Emacs-4.3
task
David Aspinall
accepted
Aug 28, 2009
#273
next-error functions: document and streamline
2:pg-emacs
PG-Emacs-4.3
enhancement
David Aspinall
accepted
Aug 20, 2009
#208
Generalise Coq's modeline subgoal counter for other provers
2:pg-emacs
PG-Emacs-4.3
enhancement
David Aspinall
accepted
Jun 13, 2008
#158
cursor positioning is wrong when sending commands
1:pg-eclipse
enhancement
Graham Dutton
accepted
Oct 9, 2007
#17
Add clear button for prover output
1:pg-eclipse
enhancement
Graham Dutton
accepted
Jan 30, 2007
#454
coq mode: compile before import fails when no .v file
2:pg-emacs
PG-Emacs-4.3
enhancement
hendrik
assigned
Oct 2, 2012
#250
Interrupt causes document inconsistency
1:pg-eclipse
defect
David Aspinall
assigned
Sep 5, 2008
#249
Script management error for locales; undo action failure should not generate markers
1:pg-eclipse
David Aspinall
assigned
Sep 4, 2008
#244
Comical giant icons in outline view
1:pg-eclipse
defect
Graham Dutton
assigned
Sep 1, 2008
#240
Bad behaviour in startup when proof executables (isabelle, isatool) not found
1:pg-eclipse
defect
Graham Dutton
assigned
Aug 15, 2008
#169
Complete buffer history enhancement
2:pg-emacs
PG-Emacs-4.3
enhancement
David Aspinall
assigned
Dec 13, 2007
#134
Generalise lexing to better match Isar syntax
1:pg-eclipse
enhancement
David Aspinall
assigned
Jul 19, 2007
Note:
See
TracReports
for help on using and creating reports.
Download in other formats:
RSS Feed
Comma-delimited Text
Tab-delimited Text
SQL Query