{6} All Tickets By Milestone (Including closed) (510 matches)

Max items per page

Results (501 - 510 of 510)

PG-Emacs-4.3 (7 matches)

Ticket	Summary	Component	Status	Resolution	Version	Type	Priority	Owner	Modified
#367	Fix web pages and update screenshots	2:pg-emacs	accepted			task	major	David Aspinall	Aug 9, 2012
#425	Consider simplifying span amalgamation to match prover undo behaviour	2:pg-emacs	accepted			task	major	David Aspinall	Apr 18, 2012
#361	Generic adjustment of prover's pretty-printing width	2:pg-emacs	accepted			task	minor	David Aspinall	Apr 18, 2012
#457	Remove/invoke proof-shell-pre-interrupt-hook	2:pg-emacs	new			task	minor	David Aspinall	Nov 14, 2012
#364	Unify proof-query-identifier and pg-identifier-near-point-query (cleanup)	2:pg-emacs	accepted			task	trivial	David Aspinall	Apr 18, 2012
#67	Move to Java 6...	1:pg-eclipse	closed	fixed		task	minor	David Aspinall	Apr 16, 2013
#381	Report Emacs bug/issue: slow process filter behaviour on non-Linux platforms	2:pg-emacs	closed	wontfix		task	minor	David Aspinall	Aug 14, 2012
PG-Emacs-4.4 (3 matches)
Ticket	Summary	Component	Status	Resolution	Version	Type	Priority	Owner	Modified
#462	Improve library bundling	2:pg-emacs	new			defect	minor	David Aspinall	Mar 13, 2015
#513	Splash screen disappears too quickly	2:pg-emacs	new			defect	minor	David Aspinall	May 3, 2016
#511	new Coq command "From" supported by PG?	2:pg-emacs	closed	invalid		defect	blocker	David Aspinall	Apr 28, 2016