[Javapathfinder-svn] SF.net SVN: javapathfinder:[1652] branches/mango/MangoJPF/mangoUserHome

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

Revision: 1652
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1652&view=rev
Author:   frankrimlinger
Date:     2009-06-18 05:27:47 +0000 (Thu, 18 Jun 2009)

Log Message:
-----------
Deleting MangoJPF/mangoUserHome test projects in order to simplify the configuration.

Removed Paths:
-------------
    branches/mango/MangoJPF/mangoUserHome/frank/
    branches/mango/MangoJPF/mangoUserHome/marc/.classpath
    branches/mango/MangoJPF/mangoUserHome/marc/.project
    branches/mango/MangoJPF/mangoUserHome/marc/arrayCopyShell/
    branches/mango/MangoJPF/mangoUserHome/marc/hypo2/
    branches/mango/MangoJPF/mangoUserHome/marc/lptry1/
    branches/mango/MangoJPF/mangoUserHome/marc/lptry2/
    branches/mango/MangoJPF/mangoUserHome/marc/try1/
    branches/mango/MangoJPF/mangoUserHome/marc/try2/
    branches/mango/MangoJPF/mangoUserHome/marc/try3/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk1/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk2/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk3/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk6/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk7/
    branches/mango/MangoJPF/mangoUserHome/marc/trychk8/
    branches/mango/MangoJPF/mangoUserHome/rkrug/.classpath
    branches/mango/MangoJPF/mangoUserHome/rkrug/.project
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/.classpath
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/.project
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/AxiomInLoop/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/big-model-check-test/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/bin/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/find_negative/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/if-with-two-loops/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/itsAWrap/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/loop-with-if/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/nested-loops/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/two-loops-in-a-row/
    branches/mango/MangoJPF/mangoUserHome/rkrug/input/while-with-conjunct/
    branches/mango/MangoJPF/mangoUserHome/system/input/.classpath
    branches/mango/MangoJPF/mangoUserHome/system/input/.project
    branches/mango/MangoJPF/mangoUserHome/system/input/.settings/
    branches/mango/MangoJPF/mangoUserHome/system/input/System/
    branches/mango/MangoJPF/mangoUserHome/system/input/SystemTests/


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