[ About | Licence | Contacts ]
Written by Oleksandr Gavenko (AKA gavenkoa), compiled on 2019-01-03 from rev c44e4331713c.

Isabelle.

Prepare user work dir.

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