Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add locales
authorkleing
Fri, 16 Apr 2004 12:09:31 +0200
changeset 14588 29311d81954e
parent 14587 3966c5c6035d
child 14589 feae7b5fd425
add locales
doc-src/Contents file | annotate | diff | comparison | revisions
doc/Contents file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle