# HG changeset patch
# User nipkow
# Date 1117608253 -7200
# Node ID 99c3168438ea85bef6555cbcb28e543b2a09b41e
# Parent  2c3565b74b7aaba3b59c8e11c320f38f87ceb6ec
added dependency

diff -r 2c3565b74b7a -r 99c3168438ea src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Tue May 31 19:32:41 2005 +0200
+++ b/src/Pure/IsaMakefile	Wed Jun 01 08:44:13 2005 +0200
@@ -41,7 +41,8 @@
   Isar/outer_lex.ML Isar/outer_parse.ML Isar/outer_syntax.ML		\
   Isar/proof.ML Isar/proof_context.ML Isar/proof_data.ML		\
   Isar/proof_history.ML Isar/rule_cases.ML Isar/session.ML		\
-  Isar/skip_proof.ML Isar/thy_header.ML Isar/toplevel.ML		\
+  Isar/skip_proof.ML Isar/term_style.ML Isar/thy_header.ML              \
+  Isar/toplevel.ML		                                        \
   ML-Systems/cpu-timer-basis.ML ML-Systems/cpu-timer-gc.ML		\
   ML-Systems/polyml-time-limit.ML ML-Systems/polyml.ML			\
   ML-Systems/smlnj-basis-compat.ML ML-Systems/smlnj-compiler.ML		\