Tool for downloading base Visual Studio 2010 MSDN package for offline first
installation.
.. -*- coding: utf-8 -*-=========== Isabelle.===========.. contents::Prepare user work dir.======================:: $ cd ~/isabelle $ isatool mkdir HOL my-proof-dir