# HG changeset patch # User wenzelm # Date 953309527 -3600 # Node ID 9d62b37bbfca07185b230b3c4cdb3553c707647b # Parent 75fc67e56440dcf00cdba7a3e18590e73b75914b fixed dep; diff -r 75fc67e56440 -r 9d62b37bbfca src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Fri Mar 17 17:11:59 2000 +0100 +++ b/src/HOL/IsaMakefile Fri Mar 17 17:12:07 2000 +0100 @@ -312,7 +312,7 @@ HOL-MicroJava: HOL $(LOG)/HOL-MicroJava.gz -$(LOG)/HOL-MicroJava.gz: $(OUT)/HOL \ +$(LOG)/HOL-MicroJava.gz: $(OUT)/HOL MicroJava/ROOT.ML \ MicroJava/J/Conform.ML MicroJava/J/Conform.thy MicroJava/J/Decl.thy \ MicroJava/J/Eval.thy MicroJava/J/Eval.ML MicroJava/J/JBasis.ML \ MicroJava/J/JBasis.thy MicroJava/J/JTypeSafe.thy MicroJava/J/JTypeSafe.ML \