1.1 --- a/doc-src/LaTeXsugar/IsaMakefile Fri Jan 28 04:34:55 2005 +0100
1.2 +++ b/doc-src/LaTeXsugar/IsaMakefile Fri Jan 28 04:35:51 2005 +0100
1.3 @@ -14,7 +14,7 @@
1.4 OUT = $(ISABELLE_OUTPUT)
1.5 LOG = $(OUT)/log
1.6
1.7 -USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated
1.8 +USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated -H false
1.9
1.10
1.11 ## Sugar
1.12 @@ -23,7 +23,8 @@
1.13
1.14 $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
1.15 Sugar/document/root.tex Sugar/document/root.bib \
1.16 - ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy
1.17 + ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy \
1.18 + ../../Distribution/lib/texinputs/sugar.sty
1.19 @$(USEDIR) HOL Sugar
1.20
1.21
2.1 --- a/doc-src/LaTeXsugar/Sugar/document/sugar.sty Fri Jan 28 04:34:55 2005 +0100
2.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
2.3 @@ -1,13 +0,0 @@
2.4 -\usepackage{ifthen}
2.5 -
2.6 -% ------------------------------------------
2.7 -% for typesetting equations in tabular envs
2.8 -
2.9 -\newcounter{isatabs}
2.10 -\newcommand{\putisatab}{%
2.11 -\ifthenelse{\value{isatabs}<2}{&\addtocounter{isatabs}{1}}{}}
2.12 -\newcommand{\nl}{\\\setcounter{isatabs}{0}}
2.13 -
2.14 -\newcommand{\isactrltab}{\putisatab}
2.15 -
2.16 -% ------------------------------------------
3.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
3.2 +++ b/lib/texinputs/sugar.sty Fri Jan 28 04:35:51 2005 +0100
3.3 @@ -0,0 +1,13 @@
3.4 +\usepackage{ifthen}
3.5 +
3.6 +% ------------------------------------------
3.7 +% for typesetting equations in tabular envs
3.8 +
3.9 +\newcounter{isatabs}
3.10 +\newcommand{\putisatab}{%
3.11 +\ifthenelse{\value{isatabs}<2}{&\addtocounter{isatabs}{1}}{}}
3.12 +\newcommand{\nl}{\\\setcounter{isatabs}{0}}
3.13 +
3.14 +\newcommand{\isactrltab}{\putisatab}
3.15 +
3.16 +% ------------------------------------------