{12} Newest Tickets (20 matches)

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.