Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add legacy target for HOL-Probability, needed by AFP/Markov_Models
authorhoelzl
Wed, 08 Aug 2012 11:21:09 +0200
changeset 48727 6461ad428015
parent 48726 0bc8d90d2717
child 48728 f6bee47063dc
add legacy target for HOL-Probability, needed by AFP/Markov_Models
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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:
isabelle