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

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

Revision: 1388
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1388&view=rev
Author:   frankrimlinger
Date:     2009-04-13 16:30:16 +0000 (Mon, 13 Apr 2009)

Log Message:
-----------
Attempt to add help  table of contents and so on didn't work out.  Apparently Galileo hasn't incorporated tomcat or getty yet, but surely this is in the pipeline.  For now, help content will be inserted as introduction pages, where at least it will be accessible in a primitive form.  Tested this idea by adding some random documentation for free predicate calculus syntax.  Once help is working the accumulated documentation content can be properly organized.  At this point I am mostly interested in documenting integration with jpf as it proceeds.

Modified Paths:
--------------
    branches/mango/Mango/Mango.product
    branches/mango/Mango/content/mango.xhtml
    branches/mango/Mango/introContent.xml
    branches/mango/Mango/src/mango/intro/ApplicationActionBarAdvisor.java

Added Paths:
-----------
    branches/mango/Mango/content/documentationInProgress.xhtml
    branches/mango/Mango/content/freeCalculus.png
    branches/mango/Mango/content/freeCalculusRewritten.png
    branches/mango/Mango/content/proofArtifacts.xhtml
    branches/mango/Mango/content/specification.xhtml
    branches/mango/Mango/repository/plugins/org.apache.lucene_1.9.1.v20080530-1600.jar
    branches/mango/Mango/repository/plugins/org.eclipse.help.appserver_3.1.301.v20090302.jar
    branches/mango/Mango/repository/plugins/org.eclipse.help.base_3.4.0.v20090302.jar
    branches/mango/Mango/repository/plugins/org.eclipse.help.ui_3.4.0.v20090306.jar
    branches/mango/Mango/repository/plugins/org.eclipse.help.webapp_3.4.0.v20090302.jar

Removed Paths:
-------------
    branches/mango/Mango/content/mango1.xhtml
    branches/mango/Mango/content/mango2.xhtml


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