[Javapathfinder-devel] SF.net SVN: javapathfinder: [521] trunk

[<pcm...@us...>]

Revision: 521
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=521&view=rev
Author:   pcmehlitz
Date:     2007-08-20 18:28:58 -0700 (Mon, 20 Aug 2007)

Log Message:
-----------
* long overdue docu update. The extension pages are still placeholders. Extensions now
should have their own .../doc directory, with a .../doc/index.html as their main page.
Just like the rest of JPF

* finally, the UML CEV statechart example (in examples/jpfESAS), with lots of disclaimers.
Reads: THIS IS ONLY BASED ON PUBLICLY AVAILABLE INFO AND DOES NOT REPRESENT ACTUAL
NASA FLIGHT CODE

Modified Paths:
--------------
    trunk/doc/Extensibility.html
    trunk/doc/History_and_Credits.html
    trunk/doc/JPF_Related_Papers.html
    trunk/doc/JPF_files/JPF-mod.css
    trunk/doc/RegressionTests.html
    trunk/doc/about_us.html
    trunk/doc/home.html
    trunk/doc/navigation.html
    trunk/doc/news.html

Added Paths:
-----------
    trunk/doc/extensions.html
    trunk/doc/legal.html
    trunk/examples/jpfESAS/
    trunk/examples/jpfESAS/CEV_15EOR_LOR.java
    trunk/examples/jpfESAS/ErrorLog.java
    trunk/examples/jpfESAS/Failures.java
    trunk/examples/jpfESAS/README-ESAS.txt
    trunk/examples/jpfESAS/Spacecraft.java
    trunk/examples/jpfESAS/launch/
    trunk/examples/jpfESAS/launch/CEV-ascent-guards.launch
    trunk/examples/jpfESAS/launch/CEV-assumption.launch
    trunk/examples/jpfESAS/launch/CEV-interactive-sim.launch
    trunk/examples/jpfESAS/launch/CEV-las-defect-sim.launch
    trunk/examples/jpfESAS/launch/CEV-las-defect.launch
    trunk/examples/jpfESAS/launch/CEV-nominal-sim.launch
    trunk/examples/jpfESAS/launch/CEV-safehold.launch
    trunk/examples/jpfESAS/launch/CEV-scriptless-bt.launch
    trunk/examples/jpfESAS/launch/CEV-scriptless-constraints.launch
    trunk/examples/jpfESAS/launch/CEV-scriptless.launch
    trunk/examples/jpfESAS/launch/CEV-tli-sim.launch
    trunk/examples/jpfESAS/launch/CEV-tli.launch
    trunk/examples/jpfESAS/launch/CV-assumption-1.launch
    trunk/examples/jpfESAS/launch/CV-assumptions-1-2.launch
    trunk/examples/jpfESAS/launch/CV-generate-assumption-1.launch
    trunk/examples/jpfESAS/launch/CV-generate-assumption-2.launch
    trunk/examples/jpfESAS/script/
    trunk/examples/jpfESAS/script/Assumption1.txt
    trunk/examples/jpfESAS/script/Assumption2.txt
    trunk/examples/jpfESAS/script/CEV_15EOR_LOR-ascent-guards.es
    trunk/examples/jpfESAS/script/CEV_15EOR_LOR-las-defect.es
    trunk/examples/jpfESAS/script/CEV_15EOR_LOR-las-sim.es
    trunk/examples/jpfESAS/script/CEV_15EOR_LOR-nominal.es
    trunk/examples/jpfESAS/script/CEV_15EOR_LOR-safehold.es
    trunk/examples/jpfESAS/script/CEV_15EOR_LOR-tli-sim.es
    trunk/examples/jpfESAS/script/CEV_15EOR_LOR-tli.es
    trunk/examples/jpfESAS/script/flightrules.ec
    trunk/examples/jpfESAS/script/generatedAssumption1
    trunk/examples/jpfESAS/script/generatedAssumption2
    trunk/extensions/cv/doc/
    trunk/extensions/cv/doc/index.html
    trunk/extensions/numeric/doc/
    trunk/extensions/numeric/doc/index.html
    trunk/extensions/statechart/doc/index.html
    trunk/extensions/statechart/doc/scripting.html
    trunk/extensions/statechart/doc/toolchain.graffle
    trunk/extensions/statechart/doc/toolchain.png
    trunk/extensions/statechart/doc/translation.html
    trunk/extensions/symbc/doc/
    trunk/extensions/symbc/doc/index.html
    trunk/extensions/symts/doc/
    trunk/extensions/symts/doc/index.html
    trunk/extensions/ui/doc/
    trunk/extensions/ui/doc/index.html

Removed Paths:
-------------
    trunk/extensions/statechart/doc/guidance-scripts.txt
    trunk/extensions/statechart/doc/translation-rules.txt


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