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