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