Delete config file for removed packages. Delete obsolete packages. Check
package files for modification.
.. -*- coding: utf-8 -*-=========== Isabelle.===========.. contents::Prepare user work dir.======================:: $ cd ~/isabelle $ isatool mkdir HOL my-proof-dir