more documentation for packages in root.tex
authorkleing
Fri May 02 15:19:36 2003 +0200 (2003-05-02)
changeset 13946b75562218711
parent 13945 5433b2755e98
child 13947 538ff1baff29
more documentation for packages in root.tex
tuned IsaMakefile (make dependencies work)
lib/Tools/mkdir
     1.1 --- a/lib/Tools/mkdir	Fri May 02 10:25:42 2003 +0200
     1.2 +++ b/lib/Tools/mkdir	Fri May 02 15:19:36 2003 +0200
     1.3 @@ -149,16 +149,12 @@
     1.4        echo "$LOGIC:"
     1.5        echo -e "\t@cd \$(SRC)/$LOGIC; \$(ISATOOL) make $LOGIC"
     1.6        echo
     1.7 -      echo "${NAME}.deps:  ## $SOURCES"
     1.8 -      echo
     1.9 -      echo "$TARGET: \$(OUT)/$LOGIC $ROOT_ML $DOCUMENT_ROOT ${NAME}.deps"
    1.10 +      echo "$TARGET: \$(OUT)/$LOGIC $ROOT_ML $DOCUMENT_ROOT ## $SOURCES"
    1.11        echo -e "\t@$USEDIR \$(OUT)/$LOGIC $NAME"
    1.12      else
    1.13        echo "$NAME: $TARGET"
    1.14        echo
    1.15 -      echo "${NAME}.deps:   ## $ROOT_ML $DOCUMENT_ROOT $SOURCES"
    1.16 -      echo
    1.17 -      echo "$TARGET: ${NAME}.deps"
    1.18 +      echo "$TARGET: ## $ROOT_ML $DOCUMENT_ROOT $SOURCES"
    1.19        echo -e "\t@$USEDIR $LOGIC $NAME"
    1.20      fi
    1.21      echo
    1.22 @@ -215,25 +211,33 @@
    1.23    TITLE=$(echo "$NAME" | tr _ -)
    1.24    AUTHOR=$("$AUTO_PERL" -e "@pw = getpwnam(\"$USER\"); print @pw[6]" | tr _ -)
    1.25    cat >document/root.tex <<EOF
    1.26 -
    1.27  \documentclass[11pt,a4paper]{article}
    1.28  \usepackage{isabelle,isabellesym}
    1.29  
    1.30  % further packages required for unusual symbols (see also isabellesym.sty)
    1.31 -%\usepackage{latexsym}
    1.32 -%\usepackage{amssymb}
    1.33 -%\usepackage[english]{babel}
    1.34 -%\usepackage[latin1]{inputenc}
    1.35 -%\usepackage[only,bigsqcap]{stmaryrd}
    1.36 +% use only when needed
    1.37 +%\usepackage{amsmath}                  % for \<leadsto>, \<box>, \<diamond>,
    1.38 +                                       % \<sqsupset>, \<mho>, \<Join>, 
    1.39 +                                       % \<lhd>, ..
    1.40 +%\usepackage{amssymb}                  % for \<lesssim>, \<greatersim>,
    1.41 +                                       % \<lessapprox>, \<greaterapprox>,
    1.42 +                                       % \<triangleq>, \<yen>, \<lozenge>
    1.43 +%\usepackage[english]{babel}           % for \<guillemotleft>, 
    1.44 +                                       %     \<guillemotright>
    1.45 +%\usepackage[latin1]{inputenc}         % for \<onesuperior>, \<onequarter>,
    1.46 +                                       % \<twosuperior>, \<onehalf>,
    1.47 +                                       % \<threesuperior>, \<threequarters>,
    1.48 +                                       % \<degree>
    1.49 +%\usepackage[only,bigsqcap]{stmaryrd}  % for \<Sqinter>
    1.50  %\usepackage{wasysym}
    1.51 -%\usepackage{eufrak}
    1.52 -%\usepackage{textcomp}
    1.53 -%\usepackage{marvosym}
    1.54 +%\usepackage{eufrak}                   % for \<AA> ... \<ZZ>, \<aa> ... \<zz>
    1.55 +%\usepackage{textcomp}                 % \<cent>, \<currency>
    1.56 +%\usepackage{eurosans}                 % for \<euro>
    1.57  
    1.58  % this should be the last package used
    1.59  \usepackage{pdfsetup}
    1.60  
    1.61 -% proper setup for best-style documents
    1.62 +% urls in roman style, theory text in math-similar italics
    1.63  \urlstyle{rm}
    1.64  \isabellestyle{it}
    1.65