[r2005-03-06 13:14:32 by afrisch] #help

Original author: afrisch
Date: 2005-03-06 13:14:32+00:00

driver/cduce.ml

@@ -71,12 +71,10 @@ let directive_help ppf =
   #env;;                  dump current environment
   #reinit_ns;;            reinitialize namespace processing
   #help;;                 shows this help message
-  #dump_value <expr>;;    dump an XML-ish representation of the resulting
-                          value of a given expression
-  #print_schema <name>;;
   #print_type <type>;;
   #silent;;               turn off outputs from the toplevel
   #verbose;;              turn on outputs from the toplevel
+  #builtins;;             shows embedded OCaml values
 "
 
 let rec print_exn ppf = function