+ * Revision 1.12 1995-12-06 17:49:19 adam
+ * Uses dict_delete now.
+ *
+ * Revision 1.11 1995/12/06 16:06:43 adam
+ * Better diagnostics. Work on 'real' dictionary deletion.
+ *
+ * Revision 1.10 1995/12/06 12:41:22 adam
+ * New command 'stat' for the index program.
+ * Filenames can be read from stdin by specifying '-'.
+ * Bug fix/enhancement of the transformation from terms to regular
+ * expressons in the search engine.
+ *
+ * Revision 1.9 1995/10/10 12:24:39 adam