Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-09-09 03:28:06 -0700 (Tue, 09 Sep 2003)
Revision: 4948
Log message:

      - NCURSES should be on by default
      - Add a comment to mk/config to let people know that NCURSES should
      be enabled in order for READLINE to work
      

Changes	Path
+1 -1	metaprl/OMakefile
+2 -0	metaprl/mk/make_config.sh
+3 -0	metaprl/mk/preface
+1 -1	metaprl/theories/tutorial/OMakefile