wneuper/isa: README.md@e7ef883d6bdc (annotated)

wenzelm@60215	1	## Platform prerequisites ##
wenzelm@60215	2
wenzelm@60215	3	Ensure that "curl" and "hg" (Mercurial) are installed:
wenzelm@60215	4
wenzelm@60215	5	(a) Linux: e.g. "sudo apt install curl mercurial
wenzelm@60215	6
wenzelm@60215	7	(b) macOS: e.g. "brew install mercurial" or download from https://www.mercurial-scm.org
wenzelm@60215	8
wenzelm@60215	9	(c) Windows: use Cygwin64 with packages "curl" and "mercurial" (via Cygwin setup-x86_64.exe)
wenzelm@60215	10
wenzelm@60215	11
wenzelm@60215	12	## Repository management ##
wenzelm@60215	13
wenzelm@60215	14	Commands below assume the same current directory: "isab" and "isa" are
wenzelm@60215	15	put side-by-side.
wenzelm@60215	16
wenzelm@60215	17	* initial clone:
wenzelm@60215	18
wenzelm@60215	19	hg clone https://isabelle.in.tum.de/repos/isabelle isab
wenzelm@60215	20	hg clone https://hg.risc.uni-linz.ac.at/wneuper/isa
wenzelm@60215	21
wenzelm@60215	22	isab/Admin/init -I isabisac -V isa
wenzelm@60215	23	isab/bin/isabelle components -u isa
wenzelm@60215	24
wenzelm@60215	25	* later updates:
wenzelm@60215	26
wenzelm@60215	27	hg -R isa pull -vu
wenzelm@60215	28	isab/Admin/init -V isa
wenzelm@60215	29
wenzelm@60215	30
wenzelm@60215	31	## Development ##
wenzelm@60215	32
wenzelm@60215	33	* Edit:
wenzelm@60215	34
wenzelm@60215	35	isab/bin/isabelle jedit -A HOL -R Isac
wenzelm@60215	36
wenzelm@60215	37	* Build:
wenzelm@60215	38
wenzelm@60215	39	isab/bin/isabelle build -D '$ISABELLE_ISAC'
wenzelm@60215	40
wenzelm@60215	41	* Test:
wenzelm@60215	42
wenzelm@60215	43	isab/bin/isabelle build -D '$ISABELLE_ISAC_TEST'