diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/todo | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/isar/todo b/isar/todo new file mode 100644 index 00000000..a7ba9473 --- /dev/null +++ b/isar/todo @@ -0,0 +1,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? + |