Custom Query – Proof General

Results (16 - 18 of 361)

← 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 →

Ticket	Resolution	Summary	Owner	Reporter
#70	fixed	Add documentation for developer-recommended plugins	David Aspinall	David Aspinall <da+pgtrac@…>
Description	Suggested so far (ones I use): TPTP (profiling and static analysis): http://www.eclipse.org/tptp/ FindBugs (bug patterns): http://findbugs.sourceforge.net/ Mylar (task management): http://www.eclipse.org/mylar/ AnyEdit Tools (whitespace cleanup and char conversions): http://andrei.gmxhome.de/anyedit/ Eclipse webtools (editing HTML, XML, XSL): http://www.eclipse.org/webtools/
#309	fixed	-p option (Isar interface) does not permit additional parameters to emacs executable	David Aspinall	Florian Haftmann
Description	The -p option in isar/interface does not allow additional parameters to emacs executable, e.g._ -p "emacs-snapshot-gtk --name Isabelle" In PG 3.7.1 it does. Maybe the reorganized parameter treatment in isar/interface does not treat whitespace as it used to do.
#52	fixed	An issue with current version of Trac	David Aspinall	Graham Dutton
Description	Some things to be careful of when using this Trac: On editing a ticket, after every invocation of Preview, "assign to" returns to the active user, rather than retaining the initial selection. Also, there seems to be no way to edit a ticket summary after the ticket has been created, which is a problem for empty-titled tickets. Perhaps these should be submitted to Trac's own bug list.

← 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 →