How to add, modify, or delete registry subkeys and values by using a registration entries.
.. -*- coding: utf-8 -*-=========== Isabelle.===========.. contents::Prepare user work dir.======================:: $ cd ~/isabelle $ isatool mkdir HOL my-proof-dir