tuned;
authorwenzelm
Sun Jun 13 15:31:11 2004 +0200 (2004-06-13)
changeset 14936a13d5118f628
parent 14935 c2441592be14
child 14937 37b06d27683d
tuned;
lib/Tools/document
lib/Tools/mkdir
lib/texinputs/draft.tex
     1.1 --- a/lib/Tools/document	Sun Jun 13 15:30:58 2004 +0200
     1.2 +++ b/lib/Tools/document	Sun Jun 13 15:31:11 2004 +0200
     1.3 @@ -87,8 +87,8 @@
     1.4    "$ISATOOL" latex -o sty && \
     1.5    "$ISATOOL" latex -o "$FMT" && \
     1.6    { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
     1.7 -  { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \  
     1.8 -    "$ISATOOL" latex -o "$FMT"
     1.9 +  { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \
    1.10 +  "$ISATOOL" latex -o "$FMT"
    1.11  }
    1.12  
    1.13  (
     2.1 --- a/lib/Tools/mkdir	Sun Jun 13 15:30:58 2004 +0200
     2.2 +++ b/lib/Tools/mkdir	Sun Jun 13 15:31:11 2004 +0200
     2.3 @@ -252,13 +252,19 @@
     2.4  
     2.5  \parindent 0pt\parskip 0.5ex
     2.6  
     2.7 -% include generated text of all theories
     2.8 +% generated text of all theories
     2.9  \input{session}
    2.10  
    2.11 +% optional bibliography
    2.12  %\bibliographystyle{abbrv}
    2.13  %\bibliography{root}
    2.14  
    2.15  \end{document}
    2.16 +
    2.17 +%%% Local Variables:
    2.18 +%%% mode: latex
    2.19 +%%% TeX-master: t
    2.20 +%%% End:
    2.21  EOF
    2.22  fi
    2.23  
     3.1 --- a/lib/texinputs/draft.tex	Sun Jun 13 15:30:58 2004 +0200
     3.2 +++ b/lib/texinputs/draft.tex	Sun Jun 13 15:31:11 2004 +0200
     3.3 @@ -12,9 +12,14 @@
     3.4  
     3.5  \pagestyle{myheadings}
     3.6  \renewcommand{\isamarkupheader}[1]%
     3.7 -{\section{#1}\markright{FILE~``\isabellecontext''}}
     3.8 +{{\def\isacharunderscore{\mbox{-}}%
     3.9 +\section*{#1}\markright{FILE~``\isabellecontext''}}}
    3.10  
    3.11  \begin{document}
    3.12  \input{session}
    3.13  \end{document}
    3.14  
    3.15 +%%% Local Variables:
    3.16 +%%% mode: latex
    3.17 +%%% TeX-master: t
    3.18 +%%% End: