.. -*- coding: utf-8 -*- =========== Isabelle. =========== .. contents:: Prepare user work dir. ====================== :: $ cd ~/isabelle $ isatool mkdir HOL my-proof-dir