[jyh] This is a simple term display in an applet._ Mon Sep 19 01:57:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-10-241722000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-10-241722000-PDT.html [jyh] Controller applet._ Mon Sep 19 01:57:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-16-384324000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-16-384324000-PDT.html [jyh] Prelimnary semi_working version._ Mon Sep 19 01:57:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-16-880323000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-16-880323000-PDT.html [jyh] Modifed term module._ Mon Sep 19 01:57:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-18-399366000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-18-399366000-PDT.html [jyh] Generalized file base to allow the library._ Mon Sep 19 01:57:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-18-801675000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-18-801675000-PDT.html [jyh] Added base Nuprl_Light interface to the library._ Mon Sep 19 01:57:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-19-334146000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-19-334146000-PDT.html [jyh] Added support for saving intermediate files to the library._ Mon Sep 19 01:57:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-19-753508000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-19-753508000-PDT.html [jyh] Moving this directory to ocaml._ Mon Sep 19 01:57:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-20-892074000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-20-892074000-PDT.html [jyh] Partially implemented semantics for caml._ Mon Sep 19 01:57:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-21-955662000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-21-955662000-PDT.html [jyh] Adding pattern semantics._ Mon Sep 19 01:57:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-23-245575000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-23-245575000-PDT.html [jyh] Initial ocaml semantics._ Mon Sep 19 01:57:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-23-815603000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-23-815603000-PDT.html [jyh] Splitting filter_parse._ Mon Sep 19 01:57:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-27-960454000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-27-960454000-PDT.html [jyh] Splitting filter_parse._ Mon Sep 19 01:57:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-32-978336000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-32-978336000-PDT.html [jyh] Adjusted proof type to be primitive or derived._ Mon Sep 19 01:57:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-33-367258000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-33-367258000-PDT.html [jyh] Two phase parse/extract._ Mon Sep 19 01:57:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-33-862900000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-33-862900000-PDT.html [jyh] First implementation of binary file compilation._ Mon Sep 19 01:57:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-36-034923000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-36-034923000-PDT.html [jyh] Added filename utilities._ Mon Sep 19 01:57:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-37-424039000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-37-424039000-PDT.html [eli] Added file_base_type._ Mon Sep 19 01:57:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-37-794959000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-02/2005-09-19-01-57-37-794959000-PDT.html