blob: 359c119517552d595b58668f2ac8c73854b21894 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
-*- mode:outline -*-
* Things to do for HOL
See also ../todo for generic things to do, priority codes.
** A Problem with displaying long help message: causes loop in PG
filtering, why? Process also takes a long time to kill off.
** B Improve display to strip ugly val it and spurious >'s.
** B Add special markup to improve robustness
** B Add support for multiple files
** B Add support for proof by pointing.
|