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