1 .. -*- coding: utf-8 -*-

     2 

     3 ===========

     4  Isabelle.

     5 ===========

     6 .. contents::

     7 

     8 Prepare user work dir.

     9 ======================

    10 ::

    11 

    12   $ cd ~/isabelle

    13   $ isatool mkdir HOL my-proof-dir

    14