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 14441 40d7ae9563fd
parent 14435 9e22eeccf129
child 14442 04135b0c06ff 
--- a/src/HOL/IsaMakefile	Sat Mar 06 19:31:27 2004 +0100
+++ b/src/HOL/IsaMakefile	Sat Mar 06 19:32:21 2004 +0100
@@ -292,8 +292,7 @@
   Lex/AutoChopper.thy Lex/AutoChopper1.thy Lex/AutoMaxChop.thy \
   Lex/AutoProj.thy Lex/Automata.thy Lex/Chopper.thy Lex/DA.thy \
   Lex/MaxChop.thy Lex/MaxPrefix.thy Lex/NA.thy Lex/NAe.thy Lex/RegExp2NAe.thy \
-  Lex/Scanner.thy Lex/RegExp2NAe.ML Lex/RegExp2NA.thy Lex/RegExp2NA.ML \
-  Lex/ROOT.ML Lex/RegExp.thy Lex/RegSet.thy \
+  Lex/Scanner.thy Lex/RegExp2NA.thy Lex/ROOT.ML Lex/RegExp.thy Lex/RegSet.thy \
   Lex/RegSet_of_nat_DA.thy Library/List_Prefix.thy
 	@$(ISATOOL) usedir $(OUT)/HOL Lex
isabelle