diff options
author | 2002-05-03 15:13:26 +0000 | |
---|---|---|
committer | 2002-05-03 15:13:26 +0000 | |
commit | b9841b21c21c4bee30cf1f008bd1e475f49faf88 (patch) | |
tree | ad399cda14514273525357ee7eb1345aba0d6c91 /TODO | |
parent | 41accc23bcf36a3b2646eb1a5f6b2db922c104fb (diff) |
fixed spelling;
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -36,7 +36,7 @@ Plans for upcoming versions * Generic adjusting of pretty-printer line width (currently implemented in several instances) -* Queue manipulation improvment: allow to extend or reduce +* Queue manipulation improvement: allow to extend or reduce during processing, with fewer "Proof Process Busy" messages. * Improve process handling: disable interrupts and/or catch errors at |