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 5814 a3881c1f1d3c
parent 5571 3613c5d22cc6
child 6412 9309bc455432 
--- a/doc-src/System/system.ind	Mon Nov 09 11:09:33 1998 +0100
+++ b/doc-src/System/system.ind	Mon Nov 09 11:20:07 1998 +0100
@@ -46,7 +46,7 @@
   \item {\tt ISABELLE_USEDIR_OPTIONS} setting, 4, 12, 17
   \item {\tt IsaMakefile}, 11, 12
   \item {\tt ISATOOL} setting, 3
-  \item {\tt isatool}, 1, 6
+  \item {\tt isatool}, 1, 7
 
   \indexspace
isabelle