--- a/Admin/index.html Mon Jul 19 17:03:10 1999 +0200
+++ b/Admin/index.html Mon Jul 19 17:07:30 1999 +0200
@@ -54,6 +54,7 @@
<li> <a href="{ISABELLE}/doc/tutorial.pdf">Tutorial on Isabelle/HOL</a>
<li> <a href="{ISABELLE}/doc/intro.pdf">Introduction to Isabelle</a>
<li> <a href="{ISABELLE}/doc/ref.pdf">The Isabelle Reference Manual</a>
+<li> <a href="{ISABELLE}/doc/isar-ref.pdf">The Isabelle/Isar Reference Manual</a>
<li> <a href="{ISABELLE}/doc/system.pdf">The Isabelle System Manual</a>
<li> <a href="{ISABELLE}/doc/logics.pdf">Isabelle's Logics: overview and misc logics</a>
<li> <a href="{ISABELLE}/doc/logics-HOL.pdf">Isabelle's Logics: HOL</a>
--- a/doc-src/Contents Mon Jul 19 17:03:10 1999 +0200
+++ b/doc-src/Contents Mon Jul 19 17:07:30 1999 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive AxClass Tutorial
+Intro Ref System Logics HOL ZF Inductive AxClass Tutorial IsarRef
--- a/doc/Contents Mon Jul 19 17:03:10 1999 +0200
+++ b/doc/Contents Mon Jul 19 17:07:30 1999 +0200
@@ -1,6 +1,7 @@
tutorial Tutorial on Isabelle/HOL
intro Introduction to Isabelle
ref The Isabelle Reference Manual
+isar-ref The Isabelle/Isar Reference Manual
system The Isabelle System Manual
logics Isabelle's Logics: overview and misc logics
logics-HOL Isabelle's Logics: HOL