--- a/lib/Tools/document Sun Jun 13 15:30:58 2004 +0200
+++ b/lib/Tools/document Sun Jun 13 15:31:11 2004 +0200
@@ -87,8 +87,8 @@
"$ISATOOL" latex -o sty && \
"$ISATOOL" latex -o "$FMT" && \
{ [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
- { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \
- "$ISATOOL" latex -o "$FMT"
+ { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \
+ "$ISATOOL" latex -o "$FMT"
}
(
--- a/lib/Tools/mkdir Sun Jun 13 15:30:58 2004 +0200
+++ b/lib/Tools/mkdir Sun Jun 13 15:31:11 2004 +0200
@@ -252,13 +252,19 @@
\parindent 0pt\parskip 0.5ex
-% include generated text of all theories
+% generated text of all theories
\input{session}
+% optional bibliography
%\bibliographystyle{abbrv}
%\bibliography{root}
\end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End:
EOF
fi
--- a/lib/texinputs/draft.tex Sun Jun 13 15:30:58 2004 +0200
+++ b/lib/texinputs/draft.tex Sun Jun 13 15:31:11 2004 +0200
@@ -12,9 +12,14 @@
\pagestyle{myheadings}
\renewcommand{\isamarkupheader}[1]%
-{\section{#1}\markright{FILE~``\isabellecontext''}}
+{{\def\isacharunderscore{\mbox{-}}%
+\section*{#1}\markright{FILE~``\isabellecontext''}}}
\begin{document}
\input{session}
\end{document}
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End: