-*- mode:outline -*-

* Things to do for Isabelle/Isar

See also ../todo for generic things to do, priority codes.

** C Combine with isa/ to get single Isabelle PG instance, somehow?

Then users could use both proof languages.