Custom Query (361 matches)
Results (13 - 15 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#67 | fixed | Move to Java 6... | ||
Description |
This ticket is for notes on moving to Java 6.
At the moment we should wait for Java 6 support from Apple, at least. A beta version is available, but there is speculation whether Apple will support Java 6 on Mac OSX 10.4 or release it only as part of Leopard. That might be a reason for sticking with 1.5 for time being. |
|||
#68 | fixed | Move to Eclipse 3.3 at 3.3M5 | ||
Description |
3.3M5 stable is due 9th February. We should migrate code and development to that version. Our main distribution format is the Proof General Eclipse product, and we expect most users will use this rather than adding a plugin to their existing Eclipse install. This means we can be more speedy about shifting to new versions of the platform. It lets us fix compatibility issues early, and potentially feed suggestions for API improvement upstream. Probably our products built on milestone releases should be regarded as beta. Drawback/limitation: tools we are using for development may not be upgraded so quickly. (Are there any show stoppers?) |
|||
#69 | fixed | PGMarkerMethods: skip spaces in document before error marker start | ||
Description |
If error marker has been set by us based on command from document, spaces should be skipped which, if present, appear before start of command text proper. Test case: (* this is a comment *) lemma "!" |