--- a/lib/Tools/doc	Wed Apr 13 18:47:53 2005 +0200
+++ b/lib/Tools/doc	Wed Apr 13 18:48:05 2005 +0200
@@ -59,3 +59,4 @@
   IFS="$ORIG_IFS"
   fail "Unknown Isabelle document: $DOC"  
 fi
+
changeset 15717	541e50adfc73
parent 15703	727ef1b8b3ee
child 28500	4b79e5d3d0aa