Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-21 15:55:44 -0800 (Sun, 21 Mar 2004)
Revision: 5509
Log message:
- Changed the dtactic module to use the new API
(note: this changes the selT semantics slightly and adds full fall-back
to both intro and elim).
- Changed the compilers to use the new API.
- Changed the get_bool_arg, get_sel_arg and get_int_arg to return an option
instead of raising exception (since we always catch those exceptions anyway).
MetaPRL finally compiles with the new API (but does not really run yet).