--- a/doc-src/LaTeXsugar/IsaMakefile Fri Jan 28 04:34:55 2005 +0100
+++ b/doc-src/LaTeXsugar/IsaMakefile Fri Jan 28 04:35:51 2005 +0100
@@ -14,7 +14,7 @@
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log
-USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated
+USEDIR = $(ISATOOL) usedir -v true -i true -d pdf -D generated -H false
## Sugar
@@ -23,7 +23,8 @@
$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \
Sugar/document/root.tex Sugar/document/root.bib \
- ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy
+ ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptionalSugar.thy \
+ ../../Distribution/lib/texinputs/sugar.sty
@$(USEDIR) HOL Sugar
--- a/doc-src/LaTeXsugar/Sugar/document/sugar.sty Fri Jan 28 04:34:55 2005 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-\usepackage{ifthen}
-
-% ------------------------------------------
-% for typesetting equations in tabular envs
-
-\newcounter{isatabs}
-\newcommand{\putisatab}{%
-\ifthenelse{\value{isatabs}<2}{&\addtocounter{isatabs}{1}}{}}
-\newcommand{\nl}{\\\setcounter{isatabs}{0}}
-
-\newcommand{\isactrltab}{\putisatab}
-
-% ------------------------------------------
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/texinputs/sugar.sty Fri Jan 28 04:35:51 2005 +0100
@@ -0,0 +1,13 @@
+\usepackage{ifthen}
+
+% ------------------------------------------
+% for typesetting equations in tabular envs
+
+\newcounter{isatabs}
+\newcommand{\putisatab}{%
+\ifthenelse{\value{isatabs}<2}{&\addtocounter{isatabs}{1}}{}}
+\newcommand{\nl}{\\\setcounter{isatabs}{0}}
+
+\newcommand{\isactrltab}{\putisatab}
+
+% ------------------------------------------