isabelle: src/HOL/IsaMakefile@a5e3ba7cbb2a (annotated)

2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	1	#
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	2	# approximative IsaMakefile for legacy applications
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	3	#
2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	4
4518 74c01296e818 improved targets; wenzelm parents: 4455 diff changeset	5	default: HOL
33210 94ae82a4452f recovered sort indentation for "sort position", as documented in the file; wenzelm parents: 33204 diff changeset	6
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	7	clean:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	8	-@$(ISABELLE_TOOL) build -a -n -c
10135 c2a4dccf6e67 reorganized AxClasses; wenzelm parents: 10094 diff changeset	9
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	10	all:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	11	@$(ISABELLE_TOOL) build -a
28401 d5f39173444c separate HOL-Main image haftmann parents: 28393 diff changeset	12
4518 74c01296e818 improved targets; wenzelm parents: 4455 diff changeset	13	Pure:
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	14	@$(ISABELLE_TOOL) build -b Pure
27368 9f90ac19e32b established Plain theory and image haftmann parents: 27326 diff changeset	15
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	16	HOL:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	17	@$(ISABELLE_TOOL) build -b HOL
2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	18
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	19	HOL-Library:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	20	@$(ISABELLE_TOOL) build -b HOL-Library
2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	21
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	22	HOL-IMP:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	23	@$(ISABELLE_TOOL) build -b HOL-IMP
2448 61337170db84 IsaMakefile for HOL; wenzelm parents: diff changeset	24
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	25	HOL-Multivariate_Analysis:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	26	@$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
33175 2083bde13ce1 distinguished session for multivariate analysis himmelma parents: 33083 diff changeset	27
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	28	HOL-Nominal:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	29	@$(ISABELLE_TOOL) build -b HOL-Nominal
41566 676b32bea254 Added HOL-SPARK and removed old_primrec.ML berghofe parents: 41505 diff changeset	30
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	31	HOL-Word:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	32	@$(ISABELLE_TOOL) build -b HOL-Word
40774 0437dbc127b3 moved directory src/HOLCF to src/HOL/HOLCF; huffman parents: 40676 diff changeset	33
48722 a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	34	HOLCF:
a5e3ba7cbb2a discontinued obsolete IsaMakefile and ROOT.ML files from the Isabelle distribution; wenzelm parents: 48625 diff changeset	35	@$(ISABELLE_TOOL) build -b HOLCF
40774 0437dbc127b3 moved directory src/HOLCF to src/HOL/HOLCF; huffman parents: 40676 diff changeset	36

author	wenzelm
	Tue, 07 Aug 2012 23:43:05 +0200
changeset 48722	a5e3ba7cbb2a
parent 48625	77c416ef06fa
child 48723	0829e958f0aa
permissions	-rw-r--r--