isabelle.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Thu, 19 Jan 2017 00:01:03 +0200
changeset 2058 b6533d1e3019
parent 1912 8b81a8f0f692
permissions -rw-r--r--
Fix RST markup.

.. -*- coding: utf-8; -*-

===========
 Isabelle.
===========
.. contents::
   :local:

Prepare user work dir.
======================
::

  $ cd ~/isabelle
  $ isatool mkdir HOL my-proof-dir