This directory contains the "generic interface toolkit", which is mainly
a graphical user interface for Isabelle, and tools built on top of Isabelle.
