Changes between Version 15 and Version 16 of DocumentationRT2

Timestamp:

Oct 20, 2012 1:07:51 PM (12 years ago)

Author:

Mei

Comment:

--

DocumentationRT2

@@ -8 +8 @@
  * [source:/doc/usage_scenario@mei_rt2 Usage scenario]
  * [source:/doc/keystore@mei_rt2 Keystore format]
+ * [source:/doc/partial_proof@mei_rt1 Partial proof]
  * [source:/doc/ChangeLog@mei_rt2 ChangeLog]
 
@@ -14 +15 @@
 == Examples ==
 
-These and many other test examples are available in the source tree under /examples 
+These and many other test examples are available in the source tree under examples/ 
  * [source:/examples/creddy_prover_tests/acme_rockets_rt0/README@mei_rt2 Simple Acme example]
  * [source:/examples/creddy_prover_tests/experiment_create_rt0/README@mei_rt2 More complex experiment creation]
@@ -22 +23 @@
 == Example API Code ==
 
-These are available in the source tree under /examples/example_scripts (with READMEs).
+These are available in the source tree under examples/example_scripts/ (with READMEs).
 
  * ABAC prover