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

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

Revision: 1444
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1444&view=rev
Author:   frankrimlinger
Date:     2009-04-23 12:28:00 +0000 (Thu, 23 Apr 2009)

Log Message:
-----------
Updating preferences to account for needs of jpf in progress. Much of this will go away in the final product.  As a workbench plugin, you should just get everything you need to know from the current project and you own stash of plugins.  This is still down the road.

Modified Paths:
--------------
    branches/mango/MangoJPF/doc/design.rtf
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/JPF_MIRROR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/MangoTargetLauncher.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/symbc/bytecode/ALOAD.java
    branches/mango/MangoJPF/src/mango/intro/ConfigurationDetails.java
    branches/mango/MangoJPF/src/mango/intro/LoginDialog.java


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