isar/todo


1
2
3
4
5
6
7
8

-*- 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, maybe?