Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-08-19 18:40:18 -0700 (Sat, 19 Aug 2000)
Revision: 3050
Log message:
- I added my personal TODO file that contains a list of things
that I am considering doing with/in/about/around MetaPRL
- I fixed the display form modes in ITT!!!
1) I added the except_mode[...] display form option. It is opposite
to the mode[...] option. The main idea was to be able to say
except_mode[src]
2) I made sure all the display forms in ITT (and below it, except for
Ocaml) are annotated with proper mode and except_mode options.
3) I added (in one of the previous commits) the set_dfmode
command to MetaPRL toploop. Now set_dfmode "src" can be used
to produce terms in a form suitable for cutting and pasting into
.ml files and command line tactic arguments.
4) I updated the documentation accordingly.