Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-03-02 20:06:02 -0800 (Mon, 02 Mar 1998)
Revision: 2096
Log message:
Added filter bin.
| Changes | Path |
| Added | metaprl/filter/filter_bin.ml |
| Properties | metaprl/filter/filter_bin.ml |
| Added | metaprl/filter/filter_bin.mli |
| Properties | metaprl/filter/filter_bin.mli |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-03-06 09:05:08 -0800 (Fri, 06 Mar 1998)
Revision: 2097
Log message:
Fixed library choice.
| Changes | Path |
| +9 -5 | metaprl/filter/filter_cache.ml |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-03-11 16:27:08 -0800 (Wed, 11 Mar 1998)
Revision: 2098
Log message:
Added filter_html, but its not finished yet.
| Changes | Path |
| +1 -1 | metaprl/README |
| +1 -2 | metaprl/clib/Makefile |
| Properties | metaprl/editor/java |
| +2 -1 | metaprl/filter/Makefile |
| +4 -1 | metaprl/filter/filter_cache.ml |
| Added | metaprl/filter/filter_html.ml |
| Properties | metaprl/filter/filter_html.ml |
| Added | metaprl/filter/filter_html.mli |
| Properties | metaprl/filter/filter_html.mli |
| Properties | metaprl/mllib |
Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1998-03-20 14:16:22 -0800 (Fri, 20 Mar 1998)
Revision: 2099
Log message:
Eli: Changed integer parameters to Num.num's.