$OpenXM: OpenXM/src/OpenMath/todo.txt,v 1.1 1999/12/16 02:11:14 takayama Exp $

* ignore ctrl-C.

* Turn on and off debug messages.

* configure script to find javac