some doc

e9f45433 · Etienne Kneuss · Etienne Kneuss · 8a37d244 · e9f45433 · e9f45433
Commit e9f45433 authored 10 years ago by Etienne Kneuss Committed by Etienne Kneuss 10 years ago
--- a/doc/gettingstarted.rst
+++ b/doc/gettingstarted.rst
+Getting Started
+===============
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -12,7 +12,12 @@ Contents:
   :maxdepth: 2
   intro
+   installation
+   gettingstarted
   purescala
+   verification
+   synthesis
+   repair
   references

--- a/doc/installation.rst
+++ b/doc/installation.rst
+Installing Leon
+===============
+Linux
+-----
+Mac OS-X
+--------
+Windows
+-------
--- a/doc/intro.rst
+++ b/doc/intro.rst
@@ -6,14 +6,3 @@ The Leon system is an automated system for verifying, repairing, and synthesizin
 Leon supports programs written in :ref:`purescala`, a purely functional subset of Scala.
-Verification
------------
-Repair
------------
-Synthesis
------------
-Termination
------------
--- a/doc/repair.rst
+++ b/doc/repair.rst
+Repair
+======
--- a/doc/synthesis.rst
+++ b/doc/synthesis.rst
+Synthesis
+=========
--- a/doc/verification.rst
+++ b/doc/verification.rst
+Verification
+============