Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 41060 4199fdcfa3c0
parent 40969 fb2d3ccda5a7
child 41065 13424972ade4 
--- a/src/HOL/IsaMakefile	Tue Dec 07 14:53:12 2010 +0100
+++ b/src/HOL/IsaMakefile	Tue Dec 07 14:53:44 2010 +0100
@@ -1254,7 +1254,7 @@
   Word/Type_Length.thy Word/Bit_Representation.thy Word/Bit_Int.thy	\
   Word/Bool_List_Representation.thy Word/Bit_Operations.thy		\
   Word/Word.thy Word/document/root.tex					\
-  Word/document/root.bib Tools/SMT/smt_word.ML
+  Word/document/root.bib Word/Tools/smt_word.ML
 	@cd Word; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Word
isabelle