# HG changeset patch
# User kleing
# Date 1051881576 -7200
# Node ID b75562218711eddd8f95f213edc153e84fea858a
# Parent  5433b2755e98229a08977f5cd19b0141323ba636
more documentation for packages in root.tex
tuned IsaMakefile (make dependencies work)

diff -r 5433b2755e98 -r b75562218711 lib/Tools/mkdir
--- a/lib/Tools/mkdir	Fri May 02 10:25:42 2003 +0200
+++ b/lib/Tools/mkdir	Fri May 02 15:19:36 2003 +0200
@@ -149,16 +149,12 @@
       echo "$LOGIC:"
       echo -e "\t@cd \$(SRC)/$LOGIC; \$(ISATOOL) make $LOGIC"
       echo
-      echo "${NAME}.deps:  ## $SOURCES"
-      echo
-      echo "$TARGET: \$(OUT)/$LOGIC $ROOT_ML $DOCUMENT_ROOT ${NAME}.deps"
+      echo "$TARGET: \$(OUT)/$LOGIC $ROOT_ML $DOCUMENT_ROOT ## $SOURCES"
       echo -e "\t@$USEDIR \$(OUT)/$LOGIC $NAME"
     else
       echo "$NAME: $TARGET"
       echo
-      echo "${NAME}.deps:   ## $ROOT_ML $DOCUMENT_ROOT $SOURCES"
-      echo
-      echo "$TARGET: ${NAME}.deps"
+      echo "$TARGET: ## $ROOT_ML $DOCUMENT_ROOT $SOURCES"
       echo -e "\t@$USEDIR $LOGIC $NAME"
     fi
     echo
@@ -215,25 +211,33 @@
   TITLE=$(echo "$NAME" | tr _ -)
   AUTHOR=$("$AUTO_PERL" -e "@pw = getpwnam(\"$USER\"); print @pw[6]" | tr _ -)
   cat >document/root.tex <<EOF
-
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 
 % further packages required for unusual symbols (see also isabellesym.sty)
-%\usepackage{latexsym}
-%\usepackage{amssymb}
-%\usepackage[english]{babel}
-%\usepackage[latin1]{inputenc}
-%\usepackage[only,bigsqcap]{stmaryrd}
+% use only when needed
+%\usepackage{amsmath}                  % for \<leadsto>, \<box>, \<diamond>,
+                                       % \<sqsupset>, \<mho>, \<Join>, 
+                                       % \<lhd>, ..
+%\usepackage{amssymb}                  % for \<lesssim>, \<greatersim>,
+                                       % \<lessapprox>, \<greaterapprox>,
+                                       % \<triangleq>, \<yen>, \<lozenge>
+%\usepackage[english]{babel}           % for \<guillemotleft>, 
+                                       %     \<guillemotright>
+%\usepackage[latin1]{inputenc}         % for \<onesuperior>, \<onequarter>,
+                                       % \<twosuperior>, \<onehalf>,
+                                       % \<threesuperior>, \<threequarters>,
+                                       % \<degree>
+%\usepackage[only,bigsqcap]{stmaryrd}  % for \<Sqinter>
 %\usepackage{wasysym}
-%\usepackage{eufrak}
-%\usepackage{textcomp}
-%\usepackage{marvosym}
+%\usepackage{eufrak}                   % for \<AA> ... \<ZZ>, \<aa> ... \<zz>
+%\usepackage{textcomp}                 % \<cent>, \<currency>
+%\usepackage{eurosans}                 % for \<euro>
 
 % this should be the last package used
 \usepackage{pdfsetup}
 
-% proper setup for best-style documents
+% urls in roman style, theory text in math-similar italics
 \urlstyle{rm}
 \isabellestyle{it}