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.
use ../isabellesym.sty, which is always available;
authorwenzelm
Thu, 17 Jul 2008 16:17:05 +0200
changeset 27631 b9ec32fb5f63
parent 27630 5580fcca2b5d
child 27632 93d36ef12f08
use ../isabellesym.sty, which is always available;
doc-src/System/Makefile file | annotate | diff | comparison | revisions 
--- a/doc-src/System/Makefile	Thu Jul 17 15:35:15 2008 +0200
+++ b/doc-src/System/Makefile	Thu Jul 17 16:17:05 2008 +0200
@@ -17,8 +17,8 @@
 
 OUTPUT = syms.tex
 
-syms.tex: showsymbols ../../Distribution/lib/texinputs/isabellesym.sty
-	@./showsymbols <../../Distribution/lib/texinputs/isabellesym.sty >syms.tex
+syms.tex: showsymbols ../isabellesym.sty
+	@./showsymbols <../isabellesym.sty >syms.tex
 
 dvi: $(NAME).dvi
isabelle