# HG changeset patch
# User wenzelm
# Date 932396850 -7200
# Node ID d6595926aa106cba2319426b5d58e3dfa52d49c7
# Parent  193a8601fabddc117a0d7d7439217bfc61cdc1eb
added isar-ref;

diff -r 193a8601fabd -r d6595926aa10 Admin/index.html
--- 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>
diff -r 193a8601fabd -r d6595926aa10 doc-src/Contents
--- 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
diff -r 193a8601fabd -r d6595926aa10 doc/Contents
--- 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