# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1318542760 -10800
# Node ID 2e8f84478a0712c8d46ede4d98325a6dceaefadf
# Parent  1ca4dc8dfed63d63008473fc7783a304b3027dde
Isabelle.

diff -r 1ca4dc8dfed6 -r 2e8f84478a07 isabelle.rst
--- /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
+