Covert doc to RST format. Add links to programming tutorials.
.. -*- coding: utf-8; -*-.. include:: HEADER.rst=========== Isabelle.===========.. contents::Prepare user work dir.======================:: $ cd ~/isabelle $ isatool mkdir HOL my-proof-dir