# HG changeset patch
# User wenzelm
# Date 1008006735 -3600
# Node ID 7633c0fad9bde3e949064f3c0aee735ee71524cf
# Parent  9b669895f9845d9399cb2595c0697ceb969e09b5
removed additional blank line (confuses some versions of make);

diff -r 9b669895f984 -r 7633c0fad9bd src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Mon Dec 10 18:50:01 2001 +0100
+++ b/src/Pure/IsaMakefile	Mon Dec 10 18:52:15 2001 +0100
@@ -54,7 +54,6 @@
   pattern.ML proofterm.ML pure.ML pure_thy.ML search.ML sign.ML		\
   sorts.ML tactic.ML tctical.ML term.ML theory.ML theory_data.ML	\
   thm.ML type.ML type_infer.ML unify.ML
-
 	@./mk