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
#457
Remove/invoke proof-shell-pre-interrupt-hook
2:pg-emacs
PG-Emacs-4.3
task
David Aspinall
new
Nov 14, 2012
#432
Add documentation of *trace* buffer to PG Adapting manual
2:pg-emacs
PG-Emacs-4.2
task
David Aspinall
closed
Nov 15, 2011
#425
Consider simplifying span amalgamation to match prover undo behaviour
2:pg-emacs
PG-Emacs-4.3
task
David Aspinall
accepted
Sep 19, 2011
#381
Report Emacs bug/issue: slow process filter behaviour on non-Linux platforms
2:pg-emacs
PG-Emacs-4.3
task
David Aspinall
closed
Jan 12, 2011
#376
Enable and complete testing of parser cache, add to user options menu
2:pg-emacs
PG-Emacs-4.1
task
David Aspinall
closed
Oct 10, 2010
#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
#350
Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" reveals hidden text in script buffer)
2:pg-emacs
PG-Emacs-4.2
task
David Aspinall
closed
Sep 8, 2010
#318
Report emacs bug: segfault with use of display property/font-lock
2:pg-emacs
PG-Emacs-4.1
task
David Aspinall
closed
Dec 4, 2009
#317
Report emacs bug: overlapping visibility properties
2:pg-emacs
PG-Emacs-4.1
task
David Aspinall
closed
Dec 4, 2009
#312
Unicode tokens: add support for PhoX
2:pg-emacs
PG-Emacs-4.1
task
David Aspinall
closed
Dec 1, 2009
#276
Unicode tokens: resolve font-lock issues, optimise
2:pg-emacs
PG-Emacs-4.3
task
David Aspinall
accepted
Aug 28, 2009
#275
Overhaul script management command sending
2:pg-emacs
PG-Emacs-4.2
task
David Aspinall
closed
Aug 20, 2009
#230
Configuration simplification: unify regexp/function settings
2:pg-emacs
PG-Emacs-4.1
task
David Aspinall
closed
Jul 19, 2008
#220
Remove X-Symbol, XEmacs support and backward compatibility
2:pg-emacs
PG-Emacs-4.0
task
David Aspinall
closed
Jul 12, 2008
#191
Code cleanup: remove proof-no-command
2:pg-emacs
PG-Emacs-4.0
task
David Aspinall
closed
Jan 29, 2008
#190
Improve proof shell initialisation order
2:pg-emacs
PG-Emacs-4.1
task
David Aspinall
closed
Jan 29, 2008
#168
Reorganise TODO files in distribution
2:pg-emacs
PG-Emacs-4.1
task
David Aspinall
closed
Dec 10, 2007
#153
is "proof state" view needed anymore?
1:pg-eclipse
task
David Aspinall
closed
Oct 6, 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