blob: 441793697a6f6d6edcd6ef41606efe8640eb5518 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
-*- mode:outline -*-
* See also ../todo for generic things to do, priority codes.
* Things to do for HOL
======================
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's.
|