From e9f45433f069340e02d11ee98be53a86c5c8ab9e Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Fri, 27 Feb 2015 15:26:33 +0100
Subject: [PATCH] some doc
---
doc/gettingstarted.rst | 2 ++
doc/index.rst | 5 +++++
doc/installation.rst | 13 +++++++++++++
doc/intro.rst | 11 -----------
doc/repair.rst | 2 ++
doc/synthesis.rst | 2 ++
doc/verification.rst | 2 ++
7 files changed, 26 insertions(+), 11 deletions(-)
create mode 100644 doc/gettingstarted.rst
create mode 100644 doc/installation.rst
create mode 100644 doc/repair.rst
create mode 100644 doc/synthesis.rst
create mode 100644 doc/verification.rst
diff --git a/doc/gettingstarted.rst b/doc/gettingstarted.rst
new file mode 100644
index 000000000..3ce1d78a1
--- /dev/null
+++ b/doc/gettingstarted.rst
@@ -0,0 +1,2 @@
+Getting Started
+===============
diff --git a/doc/index.rst b/doc/index.rst
index 38b182c63..9ffe65702 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -12,7 +12,12 @@ Contents:
:maxdepth: 2
intro
+ installation
+ gettingstarted
purescala
+ verification
+ synthesis
+ repair
references
diff --git a/doc/installation.rst b/doc/installation.rst
new file mode 100644
index 000000000..a013779e7
--- /dev/null
+++ b/doc/installation.rst
@@ -0,0 +1,13 @@
+Installing Leon
+===============
+
+
+
+Linux
+-----
+
+Mac OS-X
+--------
+
+Windows
+-------
diff --git a/doc/intro.rst b/doc/intro.rst
index 3c87dc90d..389973660 100644
--- 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
-------------
diff --git a/doc/repair.rst b/doc/repair.rst
new file mode 100644
index 000000000..1a881b7ed
--- /dev/null
+++ b/doc/repair.rst
@@ -0,0 +1,2 @@
+Repair
+======
diff --git a/doc/synthesis.rst b/doc/synthesis.rst
new file mode 100644
index 000000000..8b283bcd2
--- /dev/null
+++ b/doc/synthesis.rst
@@ -0,0 +1,2 @@
+Synthesis
+=========
diff --git a/doc/verification.rst b/doc/verification.rst
new file mode 100644
index 000000000..0e63a0868
--- /dev/null
+++ b/doc/verification.rst
@@ -0,0 +1,2 @@
+Verification
+============
--
GitLab