# 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} + +% ------------------------------------------