# HG changeset patch
# User kleing
# Date 1082110171 -7200
# Node ID 29311d81954ede58dcb286ea452bee6be7d8485c
# Parent  3966c5c6035dbcc0765c15037f463a54758854a2
add locales

diff -r 3966c5c6035d -r 29311d81954e doc-src/Contents
--- a/doc-src/Contents	Fri Apr 16 12:07:01 2004 +0200
+++ b/doc-src/Contents	Fri Apr 16 12:09:31 2004 +0200
@@ -1,1 +1,1 @@
-Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Exercises
+Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Exercises Locales
diff -r 3966c5c6035d -r 29311d81954e doc/Contents
--- a/doc/Contents	Fri Apr 16 12:07:01 2004 +0200
+++ b/doc/Contents	Fri Apr 16 12:09:31 2004 +0200
@@ -1,6 +1,7 @@
 Learning Isabelle
   tutorial      Tutorial on Isabelle/HOL
   isar-overview Tutorial on Isar
+  locales       Tutorial on Locales
   exercises     Exercises for Isabelle/HOL
 
 Reference Manuals