Eclipse distribution package

atiti commented 11 years ago

Eclipse product configuration for Mobius PVE e.g. splash screen

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Tue Oct 23 18:06:02 2007

The Mobius PVE Gamma Release will contain at least:

Simplify 1.5.5 Plugin ESCJava2.0b3 Plugins

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Wed Nov 28 10:51:11 2007

Hi Erik,

On Nov 27, 2007, at 6:13 PM, Erik Poll wrote:

Hi,

About the PVE:

It's probably good if we have some README/HOWTO explaining novice Eclipse users how to install the PVE plugin. I can do a very convincing impression of a novice Eclipse user :-), so I started writing something along these lines at http://mobius.inria.fr/twiki/bin/view/Tools/DownloadTools (Probably not the best place for it, but it can move somewhere else later) Is there an easier way of doing this then described here? Pointing to the .zip file as a new archived site doesn't seem to work, or is that just me ?

Ideally it should launch a customised version of Eclipse with the plugins installed. I will look into this.

is this JML plugin in any state for people (students) to start using ? I get some Error: Internal error while desugaring annotations: javafe.util.AssertionFailureException: Precondition violated just running ESC/Java2 on an almost empty file.

It seemed to work for me, but if you would like to send me the file, I will try it here to see if I can find the problem.

Cheers, Erik

Dermot

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Mon Dec 3 16:20:38 2007

category:/Local/DMGs, Archives, and Backups/PVE.zip

atiti commented 11 years ago

From: dcochran (GH: dcochran) Date: Tue Dec 4 11:39:13 2007

kiniry / Mobius