Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authornipkow
Wed, 26 Jan 2005 12:20:07 +0100
changeset 15467 8447132f4ff5
parent 15466 dce7827f8d75
child 15468 f0138af74b38
*** empty log message ***
doc-src/LaTeXsugar/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/LaTeXsugar/IsaMakefile	Wed Jan 26 11:53:30 2005 +0100
+++ b/doc-src/LaTeXsugar/IsaMakefile	Wed Jan 26 12:20:07 2005 +0100
@@ -21,7 +21,8 @@
 
 Sugar: $(LOG)/HOL-Sugar.gz
 
-$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/document/root.bib Sugar/*.thy
+$(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/document/root.tex Sugar/document/root.bib \
+  ../../HOL/Library/LaTeXsugar.thy ../../HOL/Library/OptinalSugar.thy
 	@$(USEDIR) HOL Sugar
isabelle