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  Path
Added metaprl/editor/java/BoundTerm.java
Properties metaprl/editor/java/BoundTerm.java
Added metaprl/editor/java/Closure.java
Properties metaprl/editor/java/Closure.java
Added metaprl/editor/java/DebugFlags.java
Properties metaprl/editor/java/DebugFlags.java
Added metaprl/editor/java/DisplayDynamic.java
Properties metaprl/editor/java/DisplayDynamic.java
Added metaprl/editor/java/DisplayEngine.java
Properties metaprl/editor/java/DisplayEngine.java
Added metaprl/editor/java/DisplayTerm.java
Properties metaprl/editor/java/DisplayTerm.java
Added metaprl/editor/java/Eval.java
Properties metaprl/editor/java/Eval.java
Added metaprl/editor/java/EvalError.java
Properties metaprl/editor/java/EvalError.java
Added metaprl/editor/java/FontBase.java
Properties metaprl/editor/java/FontBase.java
Added metaprl/editor/java/FreeVar.java
Properties metaprl/editor/java/FreeVar.java
Added metaprl/editor/java/IntStack.java
Properties metaprl/editor/java/IntStack.java
Added metaprl/editor/java/LevelExp.java
Properties metaprl/editor/java/LevelExp.java
Added metaprl/editor/java/LevelVar.java
Properties metaprl/editor/java/LevelVar.java
Added metaprl/editor/java/Lexer.java
Properties metaprl/editor/java/Lexer.java
Added metaprl/editor/java/LispExpression.java
Properties metaprl/editor/java/LispExpression.java
Added metaprl/editor/java/LispParser.java
Properties metaprl/editor/java/LispParser.java
Added metaprl/editor/java/LispSExpression.java
Properties metaprl/editor/java/LispSExpression.java
Added metaprl/editor/java/LispSoApply.java
Properties metaprl/editor/java/LispSoApply.java
Added metaprl/editor/java/LispVar.java
Properties metaprl/editor/java/LispVar.java
Added metaprl/editor/java/Makefile
Properties metaprl/editor/java/Makefile
Added metaprl/editor/java/MatchError.java
Properties metaprl/editor/java/MatchError.java
Added metaprl/editor/java/Matching.java
Properties metaprl/editor/java/Matching.java
Added metaprl/editor/java/NetscapeApplet.java
Properties metaprl/editor/java/NetscapeApplet.java
Binary metaprl/editor/java/Nuprl.dsp
Properties metaprl/editor/java/Nuprl.dsp
Binary metaprl/editor/java/Nuprl.dsw
Properties metaprl/editor/java/Nuprl.dsw
Binary metaprl/editor/java/NuprlTerm.dsp
Properties metaprl/editor/java/NuprlTerm.dsp
Added metaprl/editor/java/NuprlTerm.java
Properties metaprl/editor/java/NuprlTerm.java
Added metaprl/editor/java/Operator.java
Properties metaprl/editor/java/Operator.java
Added metaprl/editor/java/Opname.java
Properties metaprl/editor/java/Opname.java
Added metaprl/editor/java/Param.java
Properties metaprl/editor/java/Param.java
Added metaprl/editor/java/ParamLevelExp.java
Properties metaprl/editor/java/ParamLevelExp.java
Added metaprl/editor/java/ParamMDiff.java
Properties metaprl/editor/java/ParamMDiff.java
Added metaprl/editor/java/ParamMEqual.java
Properties metaprl/editor/java/ParamMEqual.java
Added metaprl/editor/java/ParamMLessThan.java
Properties metaprl/editor/java/ParamMLessThan.java
Added metaprl/editor/java/ParamMLevel.java
Properties metaprl/editor/java/ParamMLevel.java
Added metaprl/editor/java/ParamMNotEqual.java
Properties metaprl/editor/java/ParamMNotEqual.java
Added metaprl/editor/java/ParamMNumber.java
Properties metaprl/editor/java/ParamMNumber.java
Added metaprl/editor/java/ParamMPair.java
Properties metaprl/editor/java/ParamMPair.java
Added metaprl/editor/java/ParamMProduct.java
Properties metaprl/editor/java/ParamMProduct.java
Added metaprl/editor/java/ParamMQuotient.java
Properties metaprl/editor/java/ParamMQuotient.java
Added metaprl/editor/java/ParamMRem.java
Properties metaprl/editor/java/ParamMRem.java
Added metaprl/editor/java/ParamMString.java
Properties metaprl/editor/java/ParamMString.java
Added metaprl/editor/java/ParamMSum.java
Properties metaprl/editor/java/ParamMSum.java
Added metaprl/editor/java/ParamMToken.java
Properties metaprl/editor/java/ParamMToken.java
Added metaprl/editor/java/ParamMVar.java
Properties metaprl/editor/java/ParamMVar.java
Added metaprl/editor/java/ParamMatchError.java
Properties metaprl/editor/java/ParamMatchError.java
Added metaprl/editor/java/ParamMeta.java
Properties metaprl/editor/java/ParamMeta.java
Added metaprl/editor/java/ParamNumber.java
Properties metaprl/editor/java/ParamNumber.java
Added metaprl/editor/java/ParamString.java
Properties metaprl/editor/java/ParamString.java
Added metaprl/editor/java/ParamToken.java
Properties metaprl/editor/java/ParamToken.java
Added metaprl/editor/java/ParamVar.java
Properties metaprl/editor/java/ParamVar.java
Added metaprl/editor/java/QuickSort.java
Properties metaprl/editor/java/QuickSort.java
Added metaprl/editor/java/Rewrite.java
Properties metaprl/editor/java/Rewrite.java
Added metaprl/editor/java/Sort.java
Properties metaprl/editor/java/Sort.java
Added metaprl/editor/java/Subst.java
Properties metaprl/editor/java/Subst.java
Added metaprl/editor/java/SubstParam.java
Properties metaprl/editor/java/SubstParam.java
Added metaprl/editor/java/SubstSimul.java
Properties metaprl/editor/java/SubstSimul.java
Added metaprl/editor/java/SubstSingle.java
Properties metaprl/editor/java/SubstSingle.java
Added metaprl/editor/java/Term.java
Properties metaprl/editor/java/Term.java
Added metaprl/editor/java/TermBreak.java
Properties metaprl/editor/java/TermBreak.java
Added metaprl/editor/java/TermDisplay.java
Properties metaprl/editor/java/TermDisplay.java
Added metaprl/editor/java/TermFont.java
Properties metaprl/editor/java/TermFont.java
Added metaprl/editor/java/TermLexer.java
Properties metaprl/editor/java/TermLexer.java
Added metaprl/editor/java/TermNuprl.java
Properties metaprl/editor/java/TermNuprl.java
Added metaprl/editor/java/TermParser.java
Properties metaprl/editor/java/TermParser.java
Added metaprl/editor/java/TermPop.java
Properties metaprl/editor/java/TermPop.java
Added metaprl/editor/java/TermPush.java
Properties metaprl/editor/java/TermPush.java
Added metaprl/editor/java/TermSoApply.java
Properties metaprl/editor/java/TermSoApply.java
Added metaprl/editor/java/TermSoVar.java
Properties metaprl/editor/java/TermSoVar.java
Added metaprl/editor/java/TermString.java
Properties metaprl/editor/java/TermString.java
Added metaprl/editor/java/TermVar.java
Properties metaprl/editor/java/TermVar.java
Added metaprl/editor/java/TermView.java
Properties metaprl/editor/java/TermView.java
Added metaprl/editor/java/TermZone.java
Properties metaprl/editor/java/TermZone.java
Added metaprl/editor/java/TextBuffer.java
Properties metaprl/editor/java/TextBuffer.java
Added metaprl/editor/java/TextViewBuffer.java
Properties metaprl/editor/java/TextViewBuffer.java
Added metaprl/editor/java/Token.java
Properties metaprl/editor/java/Token.java
Added metaprl/editor/java/editor/BlockingQueue.java
Properties metaprl/editor/java/editor/BlockingQueue.java
Added metaprl/editor/java/editor/Context.java
Properties metaprl/editor/java/editor/Context.java
Added metaprl/editor/java/editor/Debug.java
Properties metaprl/editor/java/editor/Debug.java
Added metaprl/editor/java/editor/Editor.java
Properties metaprl/editor/java/editor/Editor.java
Added metaprl/editor/java/editor/Filename.java
Properties metaprl/editor/java/editor/Filename.java
Added metaprl/editor/java/editor/GrayButton.java
Properties metaprl/editor/java/editor/GrayButton.java
Added metaprl/editor/java/editor/HTMLTerm.java
Properties metaprl/editor/java/editor/HTMLTerm.java
Added metaprl/editor/java/editor/Icon.java
Properties metaprl/editor/java/editor/Icon.java
Added metaprl/editor/java/editor/IconWindow.java
Properties metaprl/editor/java/editor/IconWindow.java
Added metaprl/editor/java/editor/ImageLabel.java
Properties metaprl/editor/java/editor/ImageLabel.java
Added metaprl/editor/java/editor/MarshalInfo.java
Properties metaprl/editor/java/editor/MarshalInfo.java
Added metaprl/editor/java/editor/Marshalable.java
Properties metaprl/editor/java/editor/Marshalable.java
Added metaprl/editor/java/editor/ModeLine.java
Properties metaprl/editor/java/editor/ModeLine.java
Added metaprl/editor/java/editor/Navigate.java
Properties metaprl/editor/java/editor/Navigate.java
Added metaprl/editor/java/editor/Nuprl.java
Properties metaprl/editor/java/editor/Nuprl.java
Added metaprl/editor/java/editor/Pathname.java
Properties metaprl/editor/java/editor/Pathname.java
Added metaprl/editor/java/editor/Queue.java
Properties metaprl/editor/java/editor/Queue.java
Added metaprl/editor/java/editor/QuickSort.java
Properties metaprl/editor/java/editor/QuickSort.java
Added metaprl/editor/java/editor/Rename.java
Properties metaprl/editor/java/editor/Rename.java
Added metaprl/editor/java/editor/Semaphore.java
Properties metaprl/editor/java/editor/Semaphore.java
Added metaprl/editor/java/editor/Status.java
Properties metaprl/editor/java/editor/Status.java
Added metaprl/editor/java/editor/StringTokenizer.java
Properties metaprl/editor/java/editor/StringTokenizer.java
Added metaprl/editor/java/editor/TtyArea.java
Properties metaprl/editor/java/editor/TtyArea.java
Added metaprl/editor/java/editor/WinAlert.java
Properties metaprl/editor/java/editor/WinAlert.java
Binary metaprl/editor/java/images/back.gif
Properties metaprl/editor/java/images/back.gif
Binary metaprl/editor/java/images/back_gray.gif
Properties metaprl/editor/java/images/back_gray.gif
Binary metaprl/editor/java/images/back_press.gif
Properties metaprl/editor/java/images/back_press.gif
Binary metaprl/editor/java/images/background.gif
Properties metaprl/editor/java/images/background.gif
Binary metaprl/editor/java/images/background41.gif
Properties metaprl/editor/java/images/background41.gif
Binary metaprl/editor/java/images/background_dark.gif
Properties metaprl/editor/java/images/background_dark.gif
Binary metaprl/editor/java/images/forward.gif
Properties metaprl/editor/java/images/forward.gif
Binary metaprl/editor/java/images/forward_gray.gif
Properties metaprl/editor/java/images/forward_gray.gif
Binary metaprl/editor/java/images/forward_press.gif
Properties metaprl/editor/java/images/forward_press.gif
Binary metaprl/editor/java/images/home.gif
Properties metaprl/editor/java/images/home.gif
Binary metaprl/editor/java/images/home_gray.gif
Properties metaprl/editor/java/images/home_gray.gif
Binary metaprl/editor/java/images/home_press.gif
Properties metaprl/editor/java/images/home_press.gif
Binary metaprl/editor/java/images/info.gif
Properties metaprl/editor/java/images/info.gif
Binary metaprl/editor/java/images/key.gif
Properties metaprl/editor/java/images/key.gif
Binary metaprl/editor/java/images/mkdir.gif
Properties metaprl/editor/java/images/mkdir.gif
Binary metaprl/editor/java/images/mkdir_gray.gif
Properties metaprl/editor/java/images/mkdir_gray.gif
Binary metaprl/editor/java/images/mkdir_press.gif
Properties metaprl/editor/java/images/mkdir_press.gif
Binary metaprl/editor/java/images/turn_close.gif
Properties metaprl/editor/java/images/turn_close.gif
Binary metaprl/editor/java/images/turn_open.gif
Properties metaprl/editor/java/images/turn_open.gif
Binary metaprl/editor/java/images/up.gif
Properties metaprl/editor/java/images/up.gif
Binary metaprl/editor/java/images/up_gray.gif
Properties metaprl/editor/java/images/up_gray.gif
Binary metaprl/editor/java/images/up_press.gif
Properties metaprl/editor/java/images/up_press.gif
Added metaprl/editor/java/test.html
Properties metaprl/editor/java/test.html
+0 -330 metaprl/filter/filter_hash.ml

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  Path
Added metaprl/editor/java/ActiveApplet.java
Properties metaprl/editor/java/ActiveApplet.java
Added metaprl/editor/java/ActiveApplication.java
Properties metaprl/editor/java/ActiveApplication.java
+47 -6 metaprl/editor/java/DisplayDynamic.java
Added metaprl/editor/java/GateSequence.java
Properties metaprl/editor/java/GateSequence.java
Added metaprl/editor/java/ImageView.java
Properties metaprl/editor/java/ImageView.java
Binary metaprl/editor/java/Nuprl.dsp
Binary metaprl/editor/java/Nuprl.dsw
+66 -14 metaprl/editor/java/Nuprl.java
Binary metaprl/editor/java/Nuprl.opt
Properties metaprl/editor/java/Nuprl.opt
Binary metaprl/editor/java/Nuprl.plg
Properties metaprl/editor/java/Nuprl.plg
Binary metaprl/editor/java/NuprlIcon.dsp
Properties metaprl/editor/java/NuprlIcon.dsp
Added metaprl/editor/java/NuprlIcon.java
Properties metaprl/editor/java/NuprlIcon.java
Binary metaprl/editor/java/NuprlIcon.plg
Properties metaprl/editor/java/NuprlIcon.plg
Binary metaprl/editor/java/NuprlTerm.dsp
+147 -19 metaprl/editor/java/NuprlTerm.java
Binary metaprl/editor/java/NuprlTerm.plg
Properties metaprl/editor/java/NuprlTerm.plg
Added metaprl/editor/java/Semaphore.java
Properties metaprl/editor/java/Semaphore.java
Added metaprl/editor/java/SmallScrollGroup.java
Properties metaprl/editor/java/SmallScrollGroup.java
+62 -4 metaprl/editor/java/TermView.java
Added metaprl/editor/java/controller.html
Properties metaprl/editor/java/controller.html
Added metaprl/editor/java/frameset.html
Properties metaprl/editor/java/frameset.html
Properties metaprl/editor/java/images
Binary metaprl/editor/java/images/gate_1.jpg
Properties metaprl/editor/java/images/gate_1.jpg
Binary metaprl/editor/java/images/gate_2.jpg
Properties metaprl/editor/java/images/gate_2.jpg
Binary metaprl/editor/java/images/gate_3.jpg
Properties metaprl/editor/java/images/gate_3.jpg
Binary metaprl/editor/java/images/gate_4.jpg
Properties metaprl/editor/java/images/gate_4.jpg
Binary metaprl/editor/java/images/gate_5.jpg
Properties metaprl/editor/java/images/gate_5.jpg
Binary metaprl/editor/java/images/gate_6.jpg
Properties metaprl/editor/java/images/gate_6.jpg
Binary metaprl/editor/java/images/gate_7.jpg
Properties metaprl/editor/java/images/gate_7.jpg
Binary metaprl/editor/java/images/gate_8.jpg
Properties metaprl/editor/java/images/gate_8.jpg
Binary metaprl/editor/java/images/gate_9.jpg
Properties metaprl/editor/java/images/gate_9.jpg
Added metaprl/editor/java/raw.html
Properties metaprl/editor/java/raw.html
Added metaprl/editor/java/resize.js
Properties metaprl/editor/java/resize.js
Added metaprl/editor/java/styles.html
Properties metaprl/editor/java/styles.html
+32 -16 metaprl/editor/java/test.html

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  Path
+14 -29 metaprl/mllib/file_base.ml
+5 -2 metaprl/mllib/file_base_type.mli
+37 -16 metaprl/mllib/file_type_base.ml
+15 -8 metaprl/mllib/file_type_base.mli
+38 -0 metaprl/mllib/list_util.ml
+6 -1 metaprl/mllib/list_util.mli

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  Path
Properties metaprl/filter
+17 -4 metaprl/filter/Makefile
+7 -0 metaprl/filter/filter_debug.ml
+7 -0 metaprl/filter/filter_debug.mli
+333 -0 metaprl/filter/filter_hash.ml
+28 -2 metaprl/filter/filter_ocaml.ml
+7 -3 metaprl/filter/filter_ocaml.mli
+4 -0 metaprl/filter/filter_parse.ml
+409 -1 metaprl/filter/filter_summary.ml
+5 -0 metaprl/filter/filter_summary.mli
Added metaprl/filter/filter_summary_spec.mlz
Properties metaprl/filter/filter_summary_spec.mlz
+57 -19 metaprl/filter/filter_summary_util.ml
+4 -13 metaprl/filter/filter_summary_util.mli
+6 -2 metaprl/filter/prlcomp.ml
Added metaprl/filter/test.mli
Properties metaprl/filter/test.mli

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  Path
Added metaprl/theories/ocaml/ocaml.mlz
Properties metaprl/theories/ocaml/ocaml.mlz
Added metaprl/theories/ocaml/ocaml_base_df.mlz
Properties metaprl/theories/ocaml/ocaml_base_df.mlz
Added metaprl/theories/ocaml/ocaml_base_sos.ml
Properties metaprl/theories/ocaml/ocaml_base_sos.ml
Added metaprl/theories/ocaml/ocaml_df.mlz
Properties metaprl/theories/ocaml/ocaml_df.mlz
Added metaprl/theories/ocaml/ocaml_expr_df.ml
Properties metaprl/theories/ocaml/ocaml_expr_df.ml
Added metaprl/theories/ocaml/ocaml_expr_sos.ml
Properties metaprl/theories/ocaml/ocaml_expr_sos.ml
Added metaprl/theories/ocaml/ocaml_me_df.ml
Properties metaprl/theories/ocaml/ocaml_me_df.ml
Added metaprl/theories/ocaml/ocaml_mt_df.ml
Properties metaprl/theories/ocaml/ocaml_mt_df.ml
Added metaprl/theories/ocaml/ocaml_patt_df.ml
Properties metaprl/theories/ocaml/ocaml_patt_df.ml
Added metaprl/theories/ocaml/ocaml_patt_sos.ml
Properties metaprl/theories/ocaml/ocaml_patt_sos.ml
Added metaprl/theories/ocaml/ocaml_sig_df.ml
Properties metaprl/theories/ocaml/ocaml_sig_df.ml
Added metaprl/theories/ocaml/ocaml_str_df.ml
Properties metaprl/theories/ocaml/ocaml_str_df.ml
Added metaprl/theories/ocaml/ocaml_type_df.ml
Properties metaprl/theories/ocaml/ocaml_type_df.ml

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  Path
+5 -1 metaprl/Makefile
+4 -1 metaprl/clib/Makefile
+62 -18 metaprl/filter/Makefile
+4 -1 metaprl/filter/filter_cache.ml
+27 -12 metaprl/filter/filter_ocaml.ml
+16 -6 metaprl/filter/filter_parse.ml
+4 -1 metaprl/filter/filter_process_type.mlz
Added metaprl/filter/filter_summary_modules.ml
Properties metaprl/filter/filter_summary_modules.ml
Added metaprl/filter/filter_summary_modules.mli
Properties metaprl/filter/filter_summary_modules.mli
Added metaprl/filter/filter_summary_param.ml
Properties metaprl/filter/filter_summary_param.ml
Added metaprl/filter/filter_summary_param.mli
Properties metaprl/filter/filter_summary_param.mli
Added metaprl/filter/filter_summary_param.mlz
Properties metaprl/filter/filter_summary_param.mlz
Deleted metaprl/filter/filter_summary_spec.mlz
Deleted metaprl/filter/filter_summary_util.ml
Deleted metaprl/filter/filter_summary_util.mli
+11 -22 metaprl/filter/prlcomp.ml
+6 -0 metaprl/filter/term_grammar.ml
+3 -1 metaprl/library/Makefile
+6 -2 metaprl/library/library_type_base.ml
+14 -6 metaprl/library/registry.ml
+60 -25 metaprl/mk/config
+2 -0 metaprl/mllib/Makefile
+7 -1 metaprl/mllib/env_arg.ml
+6 -3 metaprl/mllib/file_base.ml
Added metaprl/mllib/file_base_type.ml
Properties metaprl/mllib/file_base_type.ml
Deleted metaprl/mllib/file_base_type.mli
+13 -4 metaprl/mllib/file_type_base.ml
+2 -0 metaprl/refiner/Makefile
+10 -1 metaprl/refiner/dform.ml
+2 -10 metaprl/theories/base/Makefile
+3 -10 metaprl/theories/itt/Makefile
+5 -2 metaprl/theories/itt/itt_equal.mli
Properties metaprl/theories/ocaml
Added metaprl/theories/ocaml/Makefile
Properties metaprl/theories/ocaml/Makefile
+101 -41 metaprl/theories/ocaml/ocaml.mlz
Added metaprl/theories/ocaml/ocaml_base_df.ml
Properties metaprl/theories/ocaml/ocaml_base_df.ml
Added metaprl/theories/ocaml/ocaml_base_df.mli
Properties metaprl/theories/ocaml/ocaml_base_df.mli
Deleted metaprl/theories/ocaml/ocaml_base_df.mlz
+27 -14 metaprl/theories/ocaml/ocaml_base_sos.ml
Added metaprl/theories/ocaml/ocaml_base_sos.mli
Properties metaprl/theories/ocaml/ocaml_base_sos.mli
+47 -26 metaprl/theories/ocaml/ocaml_expr_df.ml
Added metaprl/theories/ocaml/ocaml_expr_df.mli
Properties metaprl/theories/ocaml/ocaml_expr_df.mli
+280 -197 metaprl/theories/ocaml/ocaml_expr_sos.ml
Added metaprl/theories/ocaml/ocaml_expr_sos.mli
Properties metaprl/theories/ocaml/ocaml_expr_sos.mli
Added metaprl/theories/ocaml/ocaml_logic.ml
Properties metaprl/theories/ocaml/ocaml_logic.ml
Added metaprl/theories/ocaml/ocaml_logic.mli
Properties metaprl/theories/ocaml/ocaml_logic.mli
+7 -4 metaprl/theories/ocaml/ocaml_me_df.ml
Added metaprl/theories/ocaml/ocaml_me_df.mli
Properties metaprl/theories/ocaml/ocaml_me_df.mli
Added metaprl/theories/ocaml/ocaml_me_sos.ml
Properties metaprl/theories/ocaml/ocaml_me_sos.ml
Added metaprl/theories/ocaml/ocaml_me_sos.mli
Properties metaprl/theories/ocaml/ocaml_me_sos.mli
+8 -5 metaprl/theories/ocaml/ocaml_mt_df.ml
Added metaprl/theories/ocaml/ocaml_mt_df.mli
Properties metaprl/theories/ocaml/ocaml_mt_df.mli
Added metaprl/theories/ocaml/ocaml_mt_sos.ml
Properties metaprl/theories/ocaml/ocaml_mt_sos.ml
Added metaprl/theories/ocaml/ocaml_mt_sos.mli
Properties metaprl/theories/ocaml/ocaml_mt_sos.mli
+32 -17 metaprl/theories/ocaml/ocaml_patt_df.ml
Added metaprl/theories/ocaml/ocaml_patt_df.mli
Properties metaprl/theories/ocaml/ocaml_patt_df.mli
+289 -75 metaprl/theories/ocaml/ocaml_patt_sos.ml
Added metaprl/theories/ocaml/ocaml_patt_sos.mli
Properties metaprl/theories/ocaml/ocaml_patt_sos.mli
+29 -19 metaprl/theories/ocaml/ocaml_sig_df.ml
Added metaprl/theories/ocaml/ocaml_sig_df.mli
Properties metaprl/theories/ocaml/ocaml_sig_df.mli
Added metaprl/theories/ocaml/ocaml_sig_sos.ml
Properties metaprl/theories/ocaml/ocaml_sig_sos.ml
Added metaprl/theories/ocaml/ocaml_sig_sos.mli
Properties metaprl/theories/ocaml/ocaml_sig_sos.mli
+12 -10 metaprl/theories/ocaml/ocaml_str_df.ml
Added metaprl/theories/ocaml/ocaml_str_df.mli
Properties metaprl/theories/ocaml/ocaml_str_df.mli
Added metaprl/theories/ocaml/ocaml_str_sos.ml
Properties metaprl/theories/ocaml/ocaml_str_sos.ml
Added metaprl/theories/ocaml/ocaml_str_sos.mli
Properties metaprl/theories/ocaml/ocaml_str_sos.mli
+19 -8 metaprl/theories/ocaml/ocaml_type_df.ml
Added metaprl/theories/ocaml/ocaml_type_df.mli
Properties metaprl/theories/ocaml/ocaml_type_df.mli
Added metaprl/theories/ocaml/ocaml_type_sos.ml
Properties metaprl/theories/ocaml/ocaml_type_sos.ml
Added metaprl/theories/ocaml/ocaml_type_sos.mli
Properties metaprl/theories/ocaml/ocaml_type_sos.mli
+6 -11 metaprl/theories/tactic/Makefile
+4 -1 metaprl/theories/tactic/tacticals.ml

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  Path
+6 -4 metaprl/filter/Makefile
Added metaprl/filter/buffer.ml
Properties metaprl/filter/buffer.ml
Added metaprl/filter/buffer.mli
Properties metaprl/filter/buffer.mli
+337 -420 metaprl/filter/filter_cache.ml
+37 -4 metaprl/filter/filter_cache.mli
Added metaprl/filter/filter_cache_fun.ml
Properties metaprl/filter/filter_cache_fun.ml
Added metaprl/filter/filter_cache_fun.mli
Properties metaprl/filter/filter_cache_fun.mli
Added metaprl/filter/filter_comment.ml
Properties metaprl/filter/filter_comment.ml
Added metaprl/filter/filter_comment.mli
Properties metaprl/filter/filter_comment.mli
+252 -219 metaprl/filter/filter_ocaml.ml
+14 -8 metaprl/filter/filter_ocaml.mli
+616 -1625 metaprl/filter/filter_parse.ml
+3 -5 metaprl/filter/filter_parse.mli
+5 -3 metaprl/filter/filter_process_type.mlz
+481 -358 metaprl/filter/filter_summary.ml
+152 -57 metaprl/filter/filter_summary.mli
+13 -10 metaprl/filter/filter_summary_io.ml
+9 -6 metaprl/filter/filter_summary_io.mli
Deleted metaprl/filter/filter_summary_modules.ml
Deleted metaprl/filter/filter_summary_modules.mli
Deleted metaprl/filter/filter_summary_param.ml
Deleted metaprl/filter/filter_summary_param.mli
+77 -27 metaprl/filter/filter_summary_type.mlz
Added metaprl/filter/filter_summary_util.ml
Properties metaprl/filter/filter_summary_util.ml
Added metaprl/filter/filter_summary_util.mli
Properties metaprl/filter/filter_summary_util.mli
Added metaprl/filter/mLast_util.ml
Properties metaprl/filter/mLast_util.ml
Added metaprl/filter/mLast_util.mli
Properties metaprl/filter/mLast_util.mli
+12 -0 metaprl/mllib/file_base_type.ml
+41 -20 metaprl/mllib/file_type_base.ml
+10 -1 metaprl/mllib/file_type_base.mli
+32 -0 metaprl/refiner/term.ml
+7 -0 metaprl/refiner/term.mli

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  Path
+2 -1 metaprl/filter/Makefile
+26 -20 metaprl/filter/filter_cache_fun.ml
+53 -35 metaprl/filter/filter_parse.ml
Added metaprl/filter/filter_prog.ml
Properties metaprl/filter/filter_prog.ml
Added metaprl/filter/filter_prog.mli
Properties metaprl/filter/filter_prog.mli
+282 -229 metaprl/filter/filter_summary.ml
+29 -18 metaprl/filter/filter_summary.mli
+10 -6 metaprl/filter/filter_summary_type.mlz
+80 -35 metaprl/filter/filter_summary_util.ml
+17 -22 metaprl/filter/filter_summary_util.mli
+47 -4 metaprl/filter/filter_util.ml
+9 -0 metaprl/filter/filter_util.mli
+5 -2 metaprl/filter/term_grammar.ml
+15 -0 metaprl/mllib/list_util.ml
+4 -0 metaprl/mllib/list_util.mli
+4 -1 metaprl/refiner/dform.ml
+4 -1 metaprl/refiner/simple_print.ml
+61 -0 metaprl/refiner/term.ml
+11 -0 metaprl/refiner/term.mli
+35 -5 metaprl/refiner/term_util.ml
+6 -1 metaprl/refiner/term_util.mli

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  Path
+1 -1 metaprl/Makefile
+51 -19 metaprl/filter/Makefile
+10 -3 metaprl/filter/filter_cache.ml
+75 -19 metaprl/filter/filter_cache_fun.ml
+20 -1 metaprl/filter/filter_debug.ml
+19 -0 metaprl/filter/filter_debug.mli
+28 -15 metaprl/filter/filter_parse.ml
Deleted metaprl/filter/filter_process_type.mlz
+128 -36 metaprl/filter/filter_prog.ml
+6 -3 metaprl/filter/filter_prog.mli
+71 -20 metaprl/filter/filter_summary.ml
+7 -3 metaprl/filter/filter_summary.mli
+7 -2 metaprl/filter/filter_summary_io.ml
+5 -1 metaprl/filter/filter_summary_type.mlz
+55 -13 metaprl/filter/prlcomp.ml
+1 -0 metaprl/mllib/Makefile
+15 -4 metaprl/mllib/debug.ml
+7 -4 metaprl/mllib/debug.mli
+14 -1 metaprl/mllib/file_base.ml
+29 -26 metaprl/mllib/file_type_base.ml
+64 -0 metaprl/mllib/string_util.ml
+13 -0 metaprl/mllib/string_util.mli
+4 -2 metaprl/refiner/theory.ml
+4 -2 metaprl/refiner/theory.mli

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