## Platform prerequisites ##

Ensure that "curl" and "hg" (Mercurial) are installed:

  (a) Linux: e.g. "sudo apt install curl mercurial

  (b) macOS: e.g. "brew install mercurial" or download from https://www.mercurial-scm.org

  (c) Windows: use Cygwin64 with packages "curl" and "mercurial" (via Cygwin setup-x86_64.exe)

## Repository management ##

Commands below assume the same current directory: "isabisac" and "isa" are

put side-by-side.

* initial clone:

    hg clone https://isabelle.in.tum.de/repos/isabelle isabisac

    hg clone https://hg.risc.uni-linz.ac.at/wneuper/isa

    isabisac/Admin/init -I isabisac -V ./isa

    isabisac/bin/isabelle components -u ./isa

* later updates:

    hg -R ./isa pull -vu

    isabisac/Admin/init -V ./isa

## Development ##

* Build:

    isabisac/bin/isabelle build -D '$ISABELLE_ISAC'

    isabisac/bin/isabelle jedit -R Specify

    isabisac/bin/isabelle jedit -R Interpret

    isabisac/bin/isabelle jedit -R Isac

* Test:

    isabisac/bin/isabelle build -D '$ISABELLE_ISAC_TEST'

    isabisac/bin/isabelle jedit -R Isac_Test