# HG changeset patch
# User wenzelm
# Date 1333478272 -7200
# Node ID 8aa23a259ab2eeecf3c76304206c9c9a5c5089d9
# Parent  89a4bbf9790d85486b6bd36190613642f40b1d67
prefer static dependencies;

diff -r 89a4bbf9790d -r 8aa23a259ab2 doc-src/ProgProve/IsaMakefile
--- a/doc-src/ProgProve/IsaMakefile	Tue Apr 03 20:24:00 2012 +0200
+++ b/doc-src/ProgProve/IsaMakefile	Tue Apr 03 20:37:52 2012 +0200
@@ -20,7 +20,15 @@
 
 HOL-ProgProve: $(LOG)/HOL-ProgProve.gz
 
-$(LOG)/HOL-ProgProve.gz: Thys/*.thy Thys/ROOT.ML
+$(LOG)/HOL-ProgProve.gz: \
+  Thys/Basics.thy \
+  Thys/Bool_nat_list.thy \
+  Thys/Isar.thy \
+  Thys/LaTeXsugar.thy \
+  Thys/Logic.thy \
+  Thys/MyList.thy \
+  Thys/Types_and_funs.thy \
+  Thys/ROOT.ML
 	@$(USEDIR) -s ProgProve HOL Thys
 	@rm -f Thys/document/MyList.tex
 	@rm -f Thys/document/isabelle.sty