2006-11-22: Updated OCamlMakefile. 2003-04-08: Updated OCamlMakefile. Added BNF-modules to the CFG-library, since they often come handy. Changed BNF-syntax slightly. 2003-01-07: Updated OCamlMakefile to make use of "findlib". 2002-09-11: Updated OCamlMakefile and license. Documented library interface for ocamldoc. 2002-08-23: Added new function "remove_nt". 2002-05-04: Revised the whole installation procedure. 2002-04-30: Updated OcamlMakefile: it does not ask for confirmation during installation anymore! 2002-04-04: Renamed a few things in the BNF-example for consistency. 2001-09-28: Fixed installation bug. 2001-06-30: Removed "Printexc.catch" from BNF-example: is going to be deprecated in upcoming OCaml-release. 2001-02-23: Changed interface in "cfg_intf.mli" slightly: Renamed function "live_grammar" to "deriv_depth_info" and also changed some comments. 2001-01-30: Restructured project. 2001-01-24: Updated OcamlMakefile. 2000-11-07: Added depth-bounded derivation 2000-06-07: Updated OcamlMakefile. 2000-04-25: Removed extended versions of "Map" and "Set" - more convenient to use standard. 2000-01-04: First release.