Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-05 07:50:08 -0800 (Thu, 05 Feb 1998)
Revision: 2078
Log message:
This is a simple term display in an applet.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-05 21:20:52 -0800 (Thu, 05 Feb 1998)
Revision: 2079
Log message:
Controller applet.
Changes | Path |
Properties | metaprl/editor/java |
Binary | metaprl/editor/java/Nuprl.dsp |
Added | metaprl/editor/java/Nuprl.java |
Properties | metaprl/editor/java/Nuprl.java |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-09 07:44:47 -0800 (Mon, 09 Feb 1998)
Revision: 2080
Log message:
Prelimnary semi-working version.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-12 15:34:53 -0800 (Thu, 12 Feb 1998)
Revision: 2081
Log message:
Modifed term module.
Changes | Path |
+12 -0 | metaprl/refiner/term.ml |
+4 -0 | metaprl/refiner/term.mli |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-12 15:35:22 -0800 (Thu, 12 Feb 1998)
Revision: 2082
Log message:
Generalized file base to allow the library.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-12 15:35:45 -0800 (Thu, 12 Feb 1998)
Revision: 2083
Log message:
Added base Nuprl-Light interface to the library.
Changes | Path |
+2 -1 | metaprl/library/Makefile |
Added | metaprl/library/library_type_base.ml |
Properties | metaprl/library/library_type_base.ml |
Added | metaprl/library/library_type_base.mli |
Properties | metaprl/library/library_type_base.mli |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-12 15:38:23 -0800 (Thu, 12 Feb 1998)
Revision: 2084
Log message:
Added support for saving intermediate files to the library.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-13 07:59:04 -0800 (Fri, 13 Feb 1998)
Revision: 2085
Log message:
Moving this directory to ocaml.
Changes | Path |
Deleted | metaprl/theories/caml/caml_base.mli |
Deleted | metaprl/theories/caml/caml_common.mli |
Deleted | metaprl/theories/caml/caml_expr.mli |
Deleted | metaprl/theories/caml/caml_state.mli |
Deleted | metaprl/theories/caml/caml_store.mli |
Deleted | metaprl/theories/caml/caml_syntax.ml |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-13 08:02:26 -0800 (Fri, 13 Feb 1998)
Revision: 2086
Log message:
Partially implemented semantics for caml.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-13 14:10:26 -0800 (Fri, 13 Feb 1998)
Revision: 2087
Log message:
Adding pattern semantics.
Changes | Path |
+104 -122 | metaprl/theories/ocaml/ocaml_expr_sos.ml |
+101 -2 | metaprl/theories/ocaml/ocaml_patt_sos.ml |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-18 10:48:05 -0800 (Wed, 18 Feb 1998)
Revision: 2088
Log message:
Initial ocaml semantics.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-19 09:14:05 -0800 (Thu, 19 Feb 1998)
Revision: 2089
Log message:
Splitting filter_parse.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-19 09:24:13 -0800 (Thu, 19 Feb 1998)
Revision: 2090
Log message:
Splitting filter_parse.
Changes | Path |
+9 -31 | metaprl/library/library_type_base.ml |
+4 -7 | metaprl/library/library_type_base.mli |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-19 13:08:22 -0800 (Thu, 19 Feb 1998)
Revision: 2091
Log message:
Adjusted proof type to be primitive or derived.
Changes | Path |
+61 -28 | metaprl/filter/filter_cache.ml |
+11 -1 | metaprl/filter/filter_cache.mli |
+9 -7 | metaprl/filter/filter_parse.ml |
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-21 12:58:26 -0800 (Sat, 21 Feb 1998)
Revision: 2092
Log message:
Two phase parse/extract.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-23 06:46:44 -0800 (Mon, 23 Feb 1998)
Revision: 2093
Log message:
First implementation of binary file compilation.
Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-23 21:33:16 -0800 (Mon, 23 Feb 1998)
Revision: 2094
Log message:
Added filename utilities.
Changes | Path |
Added | metaprl/mllib/filename_util.ml |
Properties | metaprl/mllib/filename_util.ml |
Added | metaprl/mllib/filename_util.mli |
Properties | metaprl/mllib/filename_util.mli |
Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1998-02-24 12:15:14 -0800 (Tue, 24 Feb 1998)
Revision: 2095
Log message:
Added file_base_type.
Changes | Path |
Properties | metaprl/mllib |