Fix: (WARNING/2) Inline interpreted text or phrase reference start-string without end-string.
.. -*- coding: utf-8 -*-=========== Isabelle.===========.. contents::Prepare user work dir.======================:: $ cd ~/isabelle $ isatool mkdir HOL my-proof-dir