--- a/src/Pure/IsaMakefile Fri Apr 24 17:45:16 2009 +0200
+++ b/src/Pure/IsaMakefile Fri Apr 24 17:45:17 2009 +0200
@@ -40,8 +40,8 @@
Pure: $(OUT)/Pure
-$(OUT)/Pure: $(BOOTSTRAP_FILES) ../Tools/auto_solve.ML \
- ../Tools/quickcheck.ML Concurrent/ROOT.ML Concurrent/future.ML \
+$(OUT)/Pure: $(BOOTSTRAP_FILES) \
+ Concurrent/ROOT.ML Concurrent/future.ML \
Concurrent/mailbox.ML Concurrent/par_list.ML \
Concurrent/par_list_dummy.ML Concurrent/simple_thread.ML \
Concurrent/synchronized.ML Concurrent/task_queue.ML General/ROOT.ML \
@@ -87,7 +87,7 @@
Thy/html.ML Thy/latex.ML Thy/present.ML Thy/term_style.ML \
Thy/thm_deps.ML Thy/thy_header.ML Thy/thy_info.ML Thy/thy_load.ML \
Thy/thy_output.ML Thy/thy_syntax.ML Tools/ROOT.ML \
- Tools/find_consts.ML Tools/find_theorems.ML Tools/named_thms.ML \
+ Tools/auto_solve.ML Tools/find_consts.ML Tools/find_theorems.ML Tools/named_thms.ML \
Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML config.ML \
conjunction.ML consts.ML context.ML context_position.ML conv.ML \
defs.ML display.ML drule.ML envir.ML facts.ML goal.ML \