# HG changeset patch
# User kleing
# Date 1114574615 -7200
# Node ID d9f0c8580c0cbe53df0286c021122ea246cdee51
# Parent  83cb9dae3817b3d2e7fff1f4e1baf3a6bdc577e0
reverted last change (dependencies in HOL)

diff -r 83cb9dae3817 -r d9f0c8580c0c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Apr 27 00:47:38 2005 +0200
+++ b/src/HOL/IsaMakefile	Wed Apr 27 06:03:35 2005 +0200
@@ -119,7 +119,7 @@
  Tools/ATP/recon_transfer_proof.ML Tools/ATP/res_clasimpset.ML \
  Tools/ATP/VampireCommunication.ML Tools/ATP/SpassCommunication.ML Tools/ATP/modUnix.ML  \
  Tools/ATP/watcher.sig Tools/ATP/watcher.ML   Tools/res_atp.ML\
-  ##document/root.tex hologic.ML simpdata.ML thy_syntax.ML
+ document/root.tex hologic.ML simpdata.ML thy_syntax.ML
 	@$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL