add a tutorial section

ee03d30e · Regis Blanc · Etienne Kneuss · 06c1afe2 · ee03d30e · ee03d30e
Commit ee03d30e authored 10 years ago by Regis Blanc Committed by Etienne Kneuss 10 years ago
--- a/doc/gettingstarted.rst
+++ b/doc/gettingstarted.rst
+.. _gettingstarted:
+
 Getting Started
 ===============


--- a/doc/index.rst
+++ b/doc/index.rst
@@ -13,6 +13,7 @@ Contents:

   intro
   gettingstarted
+   tutorial
   installation
   purescala
   xlang

--- a/doc/tutorial.rst
+++ b/doc/tutorial.rst
+.. _tutorial:
+
+Tutorial
+========
+
+In this section, we will go through an extended tutorial to demonstrate basic
+usage of Leon.