# HG changeset patch
# User kleing
# Date 1106883351 -3600
# Node ID 045647dfca9c95b428bfa10ec250820d8078f69c
# Parent  5058984779b9a38c03cb25a13da79b9c429bf225
moved sugar.sty to textinputs

diff -r 5058984779b9 -r 045647dfca9c doc-src/LaTeXsugar/IsaMakefile
--- 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
 
 
diff -r 5058984779b9 -r 045647dfca9c doc-src/LaTeXsugar/Sugar/document/sugar.sty
--- 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}
-
-% ------------------------------------------
diff -r 5058984779b9 -r 045647dfca9c lib/texinputs/sugar.sty
--- /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}
+
+% ------------------------------------------