+ * Revision 1.11 1996-12-23 15:30:46 adam
+ * Work on truncation.
+ * Bug fix: result sets weren't deleted after server shut down.
+ *
+ * Revision 1.10 1995/10/30 15:08:08 adam
+ * Bug fixes.
+ *
+ * Revision 1.9 1995/10/17 18:02:14 adam
+ * New feature: databases. Implemented as prefix to words in dictionary.
+ *
+ * Revision 1.8 1995/10/10 13:59:25 adam