Getting list of supported tasks. List project dependencies. List project properties.
.. -*- coding: utf-8; -*-=========== Isabelle.===========.. contents:: :local:Prepare user work dir.======================:: $ cd ~/isabelle $ isatool mkdir HOL my-proof-dir