Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/System/system.ind
changeset 5571 3613c5d22cc6
parent 5365 f8bd38d9f8f3
child 5814 a3881c1f1d3c 
--- a/doc-src/System/system.ind	Fri Sep 25 14:32:36 1998 +0200
+++ b/doc-src/System/system.ind	Fri Sep 25 14:47:39 1998 +0200
@@ -50,8 +50,12 @@
 
   \indexspace
 
+  \item {\tt logo} tool, 11
+
+  \indexspace
+
   \item {\tt make} tool, 11
-  \item {\tt makeall} tool, 11
+  \item {\tt makeall} tool, 12
   \item {\tt ML_HOME} setting, 3
   \item {\tt ML_OPTIONS} setting, 3
   \item {\tt ML_SYSTEM} setting, 3
isabelle