# HG changeset patch
# User wenzelm
# Date 967923871 -7200
# Node ID 68a7ef151426abd96c90301c0b3532a164ab62da
# Parent  c362e75e89395b882226a414d1a8e384c07b507a
tuned;

diff -r c362e75e8939 -r 68a7ef151426 Admin/cvs-copy
--- a/Admin/cvs-copy	Fri Sep 01 19:49:04 2000 +0200
+++ b/Admin/cvs-copy	Sat Sep 02 21:44:31 2000 +0200
@@ -52,7 +52,7 @@
     do
       if [ -n "$NAME" ]; then
         if [ "$TYPE" = D ]; then
-          echo "${PREFIX}$NAME"
+          echo "X ${PREFIX}$NAME"
           mkdir -p "$TODIR/${PREFIX}$NAME" || fail "Bad directory '$TODIR/${PREFIX}$NAME'"
           copy "${PREFIX}$NAME/" || return "$?"
         else
diff -r c362e75e8939 -r 68a7ef151426 src/HOL/Isar_examples/document/root.tex
--- a/src/HOL/Isar_examples/document/root.tex	Fri Sep 01 19:49:04 2000 +0200
+++ b/src/HOL/Isar_examples/document/root.tex	Sat Sep 02 21:44:31 2000 +0200
@@ -1,3 +1,5 @@
+
+% $Id$
 
 \input{style}
 
@@ -21,19 +23,19 @@
 
 \parindent 0pt \parskip 0.5ex
 
-\input{BasicLogic.tex}
-\input{Cantor.tex}
-\input{Peirce.tex}
-\input{ExprCompiler.tex}
-\input{Group.tex}
-\input{Summation.tex}
-\input{KnasterTarski.tex}
-\input{MutilatedCheckerboard.tex}
-\input{MultisetOrder.tex}
-\input{W_correct.tex}
-\input{Fibonacci.tex}
-\input{Puzzle.tex}
-\input{NestedDatatype.tex}
+\input{BasicLogic}
+\input{Cantor}
+\input{Peirce}
+\input{ExprCompiler}
+\input{Group}
+\input{Summation}
+\input{KnasterTarski}
+\input{MutilatedCheckerboard}
+\input{MultisetOrder}
+\input{W_correct}
+\input{Fibonacci}
+\input{Puzzle}
+\input{NestedDatatype}
 
 \nocite{isabelle-isar-ref,Wenzel:1999:TPHOL}
 \bibliographystyle{plain}