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