Disable 8.3 name support. Disable last access time. Exclude directories for Windows Defender.
.. -*- coding: utf-8; -*-=========== Isabelle.===========.. contents:: :local:Prepare user work dir.======================:: $ cd ~/isabelle $ isatool mkdir HOL my-proof-dir