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.
updated IsarRef/document/style.sty;
authorwenzelm
Tue, 28 Aug 2012 12:55:32 +0200
changeset 48961 647462af31c4
parent 48960 17dbe95eaa2a
child 48962 a1acc1cb0271
updated IsarRef/document/style.sty;
doc-src/ROOT file | annotate | diff | comparison | revisions
doc-src/System/document/build file | annotate | diff | comparison | revisions 
--- a/doc-src/ROOT	Tue Aug 28 12:52:14 2012 +0200
+++ b/doc-src/ROOT	Tue Aug 28 12:55:32 2012 +0200
@@ -244,7 +244,7 @@
     Scala
     Misc
   files
-    "../IsarRef/style.sty"
+    "../IsarRef/document/style.sty"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
--- a/doc-src/System/document/build	Tue Aug 28 12:52:14 2012 +0200
+++ b/doc-src/System/document/build	Tue Aug 28 12:55:32 2012 +0200
@@ -8,7 +8,7 @@
 "$ISABELLE_TOOL" logo -o isabelle.pdf ""
 "$ISABELLE_TOOL" logo -o isabelle.eps ""
 
-cp "$ISABELLE_HOME/doc-src/IsarRef/style.sty" .
+cp "$ISABELLE_HOME/doc-src/IsarRef/document/style.sty" .
 cp "$ISABELLE_HOME/doc-src/iman.sty" .
 cp "$ISABELLE_HOME/doc-src/extra.sty" .
 cp "$ISABELLE_HOME/doc-src/isar.sty" .
isabelle