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

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

Revision: 1366
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1366&view=rev
Author:   frankrimlinger
Date:     2009-04-03 03:56:31 +0000 (Fri, 03 Apr 2009)

Log Message:
-----------
Introductory pages on "Specification" and "Proof Artifacts" now work correctly.  Added auto-login mechanism, in both configuration dialog and preference page.  All RCP functionality introduced to date is now working correctly.  There is much more RCP stuff to do, and it does add value, but for now, enough is enough.  Backend clean up of configuration data, and then stable rewriting.  Time to get back on track.

Modified Paths:
--------------
    branches/mango/Mango/.settings/org.eclipse.jdt.core.prefs
    branches/mango/Mango/content/mango.xhtml
    branches/mango/Mango/content/mango1.xhtml
    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/mango2.xhtml

Removed Paths:
-------------
    branches/mango/Mango/content/concept1.xhtml
    branches/mango/Mango/content/concept2.xhtml
    branches/mango/Mango/content/root.xhtml
    branches/mango/Mango/src/FileDialogExample.java
    branches/mango/Mango/src/FileDialogExperiment.java
    branches/mango/Mango/src/InputDialog.java
    branches/mango/Mango/src/SWTMessageBoxExample.java
    branches/mango/Mango/src/ShowDirectoryDialog.java
    branches/mango/Mango/src/ShowDirectoryDialogExperiment.java
    branches/mango/Mango/src/org/eclipsercp/hyperbola/


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