# HG changeset patch
# User hoelzl
# Date 1344417669 -7200
# Node ID 6461ad428015ca5f9e5247106bf2063ff1c12296
# Parent  0bc8d90d271786a9272ad643f3fa426da755a2a2
add legacy target for HOL-Probability, needed by AFP/Markov_Models

diff -r 0bc8d90d2717 -r 6461ad428015 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Aug 08 11:02:38 2012 +0200
+++ b/src/HOL/IsaMakefile	Wed Aug 08 11:21:09 2012 +0200
@@ -41,6 +41,12 @@
 	@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
 
 
+HOL-Probability: $(ISABELLE_OUTPUT)/HOL-Probability
+
+$(ISABELLE_OUTPUT)/HOL-Probability:
+	@$(ISABELLE_TOOL) build -b HOL-Probability
+
+
 HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal
 
 $(ISABELLE_OUTPUT)/HOL-Nominal: