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

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

Revision: 1365
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1365&view=rev
Author:   frankrimlinger
Date:     2009-04-02 19:01:06 +0000 (Thu, 02 Apr 2009)

Log Message:
-----------
Configuration deletion now working correctly. Decided to do the initial welcome screen, to explain about "Specification" and "Proof Artifacts".  I can get individual html thingies working, but for some reason the original "Concept1" and "Concept2" are still loading at runtime. Need to figure this out.

Modified Paths:
--------------
    branches/mango/Mango/Mango.product
    branches/mango/Mango/introContent.xml
    branches/mango/Mango/plugin.xml
    branches/mango/Mango/src/mango/intro/Application.java
    branches/mango/Mango/src/mango/intro/LoginDialog.java

Added Paths:
-----------
    branches/mango/Mango/content/
    branches/mango/Mango/content/concept1.xhtml
    branches/mango/Mango/content/concept2.xhtml
    branches/mango/Mango/content/link_obj.gif
    branches/mango/Mango/content/mango.xhtml
    branches/mango/Mango/content/mango1.xhtml
    branches/mango/Mango/content/root.css
    branches/mango/Mango/content/root.xhtml
    branches/mango/Mango/content/shared.css
    branches/mango/Mango/content/titlebanner.gif
    branches/mango/Mango/local/crazy/
    branches/mango/Mango/local/crazy/input/
    branches/mango/Mango/local/crazy/rules/
    branches/mango/Mango/local/crazy/sessions/


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