|
From: <fra...@us...> - 2009-04-16 19:34:15
|
Revision: 1411
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1411&view=rev
Author: frankrimlinger
Date: 2009-04-16 19:34:09 +0000 (Thu, 16 Apr 2009)
Log Message:
-----------
The MangoJPF help mechanism somehow got broken. Clearing it out for a fresh start.
Modified Paths:
--------------
branches/mango/MangoJPF/.classpath
branches/mango/MangoJPF/META-INF/MANIFEST.MF
branches/mango/MangoJPF/Mango/src/mango/workstation/Workstation.java
branches/mango/MangoJPF/content/mangoJPF.xhtml
branches/mango/MangoJPF/content/proofArtifacts.xhtml
branches/mango/MangoJPF/introContent.xml
branches/mango/MangoJPF/plugin.xml
branches/mango/MangoJPF/src/mango/intro/ApplicationWorkbenchWindowAdvisor.java
branches/mango/MangoJPF/src/mango/intro/LoginDialog.java
branches/mango/MangoJPF/src/mango/intro/Perspective.java
Added Paths:
-----------
branches/mango/MangoJPF/META-INF/MangoJPF.product
branches/mango/MangoJPF/content/aboutHelp.xhtml
branches/mango/MangoJPF/help.bmp
Removed Paths:
-------------
branches/mango/MangoJPF/html/
branches/mango/MangoJPF/toc/
branches/mango/MangoJPF/toc.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|