Custom Query – Proof General

Results (13 - 15 of 361)

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

Ticket	Resolution	Summary	Owner	Reporter
#232	fixed	Add documentation for Unicode Tokens mode	David Aspinall	David Aspinall
Description	Documentation in Proof General manual and in minor mode docstring.
#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/
#432	fixed	Add documentation of trace buffer to PG Adapting manual	David Aspinall	David Aspinall

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