[Javapathfinder-svn] SF.net SVN: javapathfinder:[1400] branches/mango/Mango

[<fra...@us...>]

Revision: 1400
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1400&view=rev
Author:   frankrimlinger
Date:     2009-04-14 17:33:10 +0000 (Tue, 14 Apr 2009)

Log Message:
-----------
Removing dependence on JPF from Mango.  This was just some proof-of-concept code that resulted in the new MangoJPF project.  The Mango project will be used to complete testing of the original port from C++, and the results will be incorporated in MangoJPF.  Mango should go away in a few months, but MangoJPF will eventually become an Eclipse Workbench plugin.

Modified Paths:
--------------
    branches/mango/Mango/.classpath
    branches/mango/Mango/META-INF/MANIFEST.MF
    branches/mango/Mango/Mango/src/mango/control/msg/StartRequestMsg.java
    branches/mango/Mango/Mango.product
    branches/mango/Mango/content/proofArtifacts.xhtml
    branches/mango/Mango/plugins/Mango_Jars_1.0.0.jar

Removed Paths:
-------------
    branches/mango/Mango/plugins/JPF_jar_1.0.0.jar
    branches/mango/Mango/repository/plugins/JPF_jar_1.0.0.jar


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.