[ About | Licence | Contacts ]
Written by Oleksandr Gavenko (AKA gavenkoa), compiled on 2017-01-30 from rev ccaa2f364422+.

Isabelle.

Prepare user work dir.

$ cd ~/isabelle
$ isatool mkdir HOL my-proof-dir