Fwd: [Jmlspecs-developers] Mobius PVE gamma release.

[atiti]

{{{

!html

Reply to: Dermot Cochran }}} {{{

Begin forwarded message:

From: Joseph Kiniry kiniry@ucd.ie Date: February 13, 2008 10:08:01 AM GMT+00:00 To: David Cok cok@frontiernet.net Cc: Dermot Cochran Dermot.Cochran@ucd.ie Subject: Re: [Jmlspecs-developers] Mobius PVE gamma release.

David,

Thanks for the suggestion. We're actually trying to make things
easier, not harder, by avoiding a big list of update sites (as we
are consolidating them next).

Dermot, can you please add this data too to the site for the moment?

Thanks, Joe

On 13 Feb, 2008, at 2:29, David Cok wrote:

Joe, it would be nice if the web page gave the URL of the Eclipse
update site(s) for the Mobius component plugins. That is much easier and more robust than hand installing unzupped
plugin files.

• David

Joseph Kiniry wrote:

Hi Mobius and JML folks,

We have posted the gamma release of the Mobius Program
Verification Environment.

Please see http://kind.ucd.ie/products/opensource/Mobius/ for
our initial release site.

We'll be updating the Mobius Trac as well as the INRIA wiki in
the coming days with release information. We'll also be
announcing via Freshmeat and similar once we know the release is
good-to-go.

We are using this release for teaching here at UCD, and some
collaborators are investigating using it for teaching
elsewhere. Testing on strange OSes like Microsoft Vista and
various Linux flavors is happening now too.

Please use it, spread the word, and provide feedback!

Joe

---

This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/

Jmlspecs-developers mailing list Jmlspecs-developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers

Dermot Cochran Dermot.Cochran@ucd.ie Systems Research Group School of Computer Science & Informatics UCD CASL 8 Belfield Office Park Clonskeagh Dublin 4, Ireland Tel: +353-1-716-5349

}}}

[atiti]

From: Dermot Cochran (GH: None) Date: Wed Feb 13 17:35:19 2008

added mailto line

This message has 1 attachment(s)