diff options
| author | David Aspinall | 2000-03-08 05:57:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-08 05:57:50 +0000 |
| commit | 214f1da42a3669caec9864a516f3697f5e8deef6 (patch) | |
| tree | 79925ce509c84b25cd14eafd49262dbcb40aba22 /isar | |
| parent | 9d83ebfc4d9840f5e6634cac2145ed7d6a92d406 (diff) | |
Split low-level todo into several files.
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? + |