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/

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" )

The preference mechanism should support dynamically computed defaults. This can be achieved by using reflection together with a method name given in the preference file:

 <pref name="ActiveHighlight" type="string" setDefault="setExample"/>

The method should be located in the already given class associated with the preference file, e.g. ExamplePrefs.java:

  public Boolean setExample() {
     return Eclipse.isRunningOnMac() ? "Orange" : "Blue";
  }

This is bogus and slightly silly example, but one reason we want this is to set platform-specific defaults for some values.