isar/todo


1
2
3
4
5
6
7
8
9
10

-*- 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.