]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:13:14 +0000 (13:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 30 Aug 2007 13:13:14 +0000 (13:13 +0000)
helm/software/matita/dist/INSTALL

index b1f87880649d9a3e2a888960d4b918b8c0721dd4..dfec3e1410805552404e62730cded8a4a131419e 100644 (file)
@@ -17,6 +17,8 @@ Installing from sources
     Database setup
     Compiling and installing
 
+Configuring Matita
+
 Installing from sources
 
 Currently, the only intended way to install Matita is starting from its source
@@ -185,5 +187,5 @@ install
 ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
 
 Prev                                                                       Next
-Matita vs Coq                        Home            Chapter 3. Getting started
+Matita vs Coq                        Home                    Configuring Matita