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.
removed Exercises document (available on separate web site now)
authorkleing
Wed, 17 Nov 2004 07:35:50 +0100
changeset 15291 dd4648ae6eff
parent 15290 ed793a2f3f35
child 15292 09e218879265
removed Exercises document (available on separate web site now)
doc/Contents file | annotate | diff | comparison | revisions 
--- a/doc/Contents	Wed Nov 17 07:35:14 2004 +0100
+++ b/doc/Contents	Wed Nov 17 07:35:50 2004 +0100
@@ -2,7 +2,6 @@
   tutorial      Tutorial on Isabelle/HOL
   isar-overview Tutorial on Isar
   locales       Tutorial on Locales
-  exercises     Exercises for Isabelle/HOL
 
 Reference Manuals
   isar-ref      The Isabelle/Isar Reference Manual
isabelle