Custom Query (361 matches)
Results (37 - 39 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #74 | wontfix | Coq: bug in electric terminator: typing '.' in comment causes comment to be sent and locked | ||
| Description |
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)
Package: Proof General current state: ============== (setq
|
|||
| #78 | fixed | Preferences: support dynamically computed defaults | ||
| Description |
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. |
|||
| #83 | fixed | Fix script parsing to produce reliable and speedy <parseresult> outputs | ||
| Description |
See Pure/ProofGeneral?/parsing.ML. This is an absolutely essential improvement required for Isabelle2007 to have good PGIP support. |
|||
