isar/todo


1
2
3
4
5
6
7
8
9

-*- mode:outline -*-

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

* Things to do for Isabelle/Isar
================================

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