--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/isabelle.rst	Fri Oct 14 00:52:40 2011 +0300
@@ -0,0 +1,14 @@
+.. -*- coding: utf-8 -*-
+
+===========
+ Isabelle.
+===========
+.. contents::
+
+Prepare user work dir.
+======================
+::
+
+  $ cd ~/isabelle
+  $ isatool mkdir HOL my-proof-dir
+