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

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

Revision: 1650
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1650&view=rev
Author:   frankrimlinger
Date:     2009-06-18 01:49:20 +0000 (Thu, 18 Jun 2009)

Log Message:
-----------
Cleanup in preparation for testing of MangoJPF.  Mango currently does not depend on any jpf extensions, so the extension plugins have been removed.  Cleanup of mangoUserHome.

Modified Paths:
--------------
    branches/mango/Mango/META-INF/MANIFEST.MF
    branches/mango/Mango/Mango.product
    branches/mango/MangoJPF/META-INF/MANIFEST.MF
    branches/mango/MangoJPF/META-INF/MangoJPF.product

Added Paths:
-----------
    branches/mango/Mango/mangoUserHome/frank/jar/
    branches/mango/Mango/mangoUserHome/frank/jarBuild
    branches/mango/Mango/mangoUserHome/frank/sessions/marc.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/rkrug.zip
    branches/mango/Mango/mangoUserHome/marc/
    branches/mango/Mango/mangoUserHome/marc/.classpath
    branches/mango/Mango/mangoUserHome/marc/.project
    branches/mango/Mango/mangoUserHome/marc/arrayCopyShell/
    branches/mango/Mango/mangoUserHome/marc/arrayCopyShell/src/
    branches/mango/Mango/mangoUserHome/marc/arrayCopyShell/src/extest/
    branches/mango/Mango/mangoUserHome/marc/arrayCopyShell/src/extest/arrayCopyShell.java
    branches/mango/Mango/mangoUserHome/marc/hypo2/
    branches/mango/Mango/mangoUserHome/marc/hypo2/src/
    branches/mango/Mango/mangoUserHome/marc/hypo2/src/extest/
    branches/mango/Mango/mangoUserHome/marc/hypo2/src/extest/hypo2.java
    branches/mango/Mango/mangoUserHome/marc/jar/
    branches/mango/Mango/mangoUserHome/marc/jar/extest.jar
    branches/mango/Mango/mangoUserHome/marc/jarBuild
    branches/mango/Mango/mangoUserHome/marc/lptry1/
    branches/mango/Mango/mangoUserHome/marc/lptry1/extest/
    branches/mango/Mango/mangoUserHome/marc/lptry1/extest/lptry1.java
    branches/mango/Mango/mangoUserHome/marc/lptry2/
    branches/mango/Mango/mangoUserHome/marc/lptry2/src/
    branches/mango/Mango/mangoUserHome/marc/lptry2/src/extest/
    branches/mango/Mango/mangoUserHome/marc/lptry2/src/extest/lptry2.java
    branches/mango/Mango/mangoUserHome/marc/try1/
    branches/mango/Mango/mangoUserHome/marc/try1/extest/
    branches/mango/Mango/mangoUserHome/marc/try1/extest/try1.java
    branches/mango/Mango/mangoUserHome/marc/try2/
    branches/mango/Mango/mangoUserHome/marc/try2/extest/
    branches/mango/Mango/mangoUserHome/marc/try2/extest/try2.java
    branches/mango/Mango/mangoUserHome/marc/try3/
    branches/mango/Mango/mangoUserHome/marc/try3/extest/
    branches/mango/Mango/mangoUserHome/marc/try3/extest/try3.java
    branches/mango/Mango/mangoUserHome/marc/trychk1/
    branches/mango/Mango/mangoUserHome/marc/trychk1/extest/
    branches/mango/Mango/mangoUserHome/marc/trychk1/extest/trychk1.java
    branches/mango/Mango/mangoUserHome/marc/trychk2/
    branches/mango/Mango/mangoUserHome/marc/trychk2/extest/
    branches/mango/Mango/mangoUserHome/marc/trychk2/extest/trychk2.java
    branches/mango/Mango/mangoUserHome/marc/trychk3/
    branches/mango/Mango/mangoUserHome/marc/trychk3/extest/
    branches/mango/Mango/mangoUserHome/marc/trychk3/extest/trychk3.java
    branches/mango/Mango/mangoUserHome/marc/trychk6/
    branches/mango/Mango/mangoUserHome/marc/trychk6/extest/
    branches/mango/Mango/mangoUserHome/marc/trychk6/extest/trychk6.java
    branches/mango/Mango/mangoUserHome/marc/trychk7/
    branches/mango/Mango/mangoUserHome/marc/trychk7/extest/
    branches/mango/Mango/mangoUserHome/marc/trychk7/extest/trychk7.java
    branches/mango/Mango/mangoUserHome/marc/trychk8/
    branches/mango/Mango/mangoUserHome/marc/trychk8/extest/
    branches/mango/Mango/mangoUserHome/marc/trychk8/extest/trychk8.java

Removed Paths:
-------------
    branches/mango/Mango/mangoUserHome/frank/input/default.properties
    branches/mango/Mango/repository/
    branches/mango/MangoJPF/mangoUserHome/frank/input/build
    branches/mango/MangoJPF/mangoUserHome/marc/jar/
    branches/mango/MangoJPF/mangoUserHome/marc/jarBuild
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/jar/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/jarBuild
    branches/mango/MangoJPF/mangoUserHome/rkrug/rules/
    branches/mango/MangoJPF/mangoUserHome/rkrug/sessions/
    branches/mango/MangoJPF/mangoUserHome/system/input/jar/
    branches/mango/MangoJPF/mangoUserHome/system/input/jarBuild
    branches/mango/MangoJPF/mangoUserHome/system/rules/
    branches/mango/MangoJPF/mangoUserHome/system/sessions/
    branches/mango/MangoJPF/plugins/javapathfinder_trunk_extensions_symbc_lib_update1_1.0.0.jar
    branches/mango/MangoJPF/plugins/jpf_trunk_extensions_concolic_1.0.0.jar
    branches/mango/MangoJPF/plugins/jpf_trunk_extensions_symbc_1.0.0.jar
    branches/mango/MangoJPF/plugins/jpf_trunk_extensions_symbolic_1.0.0.jar


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