Custom Query (361 matches)

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/

Decoration which annotates the current error/warning state is currently not generated.

It should take the form of:

• if (error markers present) decorate with ("JDT Error")
• else if (warning markers present) decorate with ("JDT Warning")
• else no decoration.

This should appear in the Proof Explorer (see #7), though this may be by inheritance from the Project Explorer.

One major obstacle to this is that triggering decoration updates seems to be difficult to do. There should be some mechanism for forcing label provider updates, as calling updateForEnablementChange() is discouraged and severely sub-optimal (though at the scale it is being used, does not cause any major problems at present).

Fixing the problem above will also improve efficiency of the Active/Processed? Script decorator.

When I type a '.' within a comment, the comment is sent to Coq and then locked. This is obviously not what I want! A '.' within a comment should be ignored.

Emacs : GNU Emacs 22.0.93.1 (x86_64-redhat-linux-gnu, GTK+ Version 2.10.9)

of 2007-02-13 on hs20-bc1-6.build.redhat.com

Package: Proof General

current state: ============== (setq

proof-general-version "Proof General Version 3.6pre061107. Released by da." proof-assistant "Coq" )