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.
More Lex.
authornipkow
Wed, 11 Mar 1998 09:40:32 +0100
changeset 4729 e1888c0d3b36
parent 4728 b72dd6b2ba56
child 4730 b1d916e8a853
More Lex.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Mar 11 09:33:56 1998 +0100
+++ b/src/HOL/IsaMakefile	Wed Mar 11 09:40:32 1998 +0100
@@ -107,7 +107,8 @@
 $(LOG)/HOL-Lex.gz: $(OUT)/HOL Lex/Auto.thy Lex/Auto.ML \
   Lex/AutoChopper.thy Lex/AutoChopper.ML Lex/AutoChopper1.thy \
   Lex/Chopper.thy Lex/Prefix.thy Lex/Prefix.ML Lex/ROOT.ML \
-  Lex/Regset_of_auto.ML Lex/Regset_of_auto.thy
+  Lex/Regset_of_auto.ML Lex/Regset_of_auto.thy Lex/MaxChop.thy Lex/MaxChop.ML \
+  Lex/MaxPrefix.thy Lex/MaxPrefix.ML Lex/AutoMaxChop.thy Lex/AutoMaxChop.ML
 	@$(ISATOOL) usedir $(OUT)/HOL Lex
isabelle