## 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