[jyh] Upgrade to OCaml2.0._ Mon Sep 19 02:04:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-27-969613000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-27-969613000-PDT.html [jyh] Added version numbering._ Mon Sep 19 02:04:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-29-475925000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-29-475925000-PDT.html [jyh] Added license headers to each of the files in preparation for_ Mon Sep 19 02:04:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-29-934311000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-29-934311000-PDT.html [nogin] Replaced _The Ensemble Juke Box_ with _Nuprl_Light_._ Mon Sep 19 02:04:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-55-945429000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-55-945429000-PDT.html [nogin] Removed the links to button_bar.gif image and other parts of Juke Box docs._ Mon Sep 19 02:04:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-56-338832000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-56-338832000-PDT.html [nogin] Now make should work even if CAMLP4LIB environment variable is not defined._ Mon Sep 19 02:04:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-57-919271000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-57-919271000-PDT.html [nogin] This file is never used_ Mon Sep 19 02:04:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-58-335879000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-58-335879000-PDT.html [nogin] More CAMLP4LIB changes_ Mon Sep 19 02:04:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-58-708779000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-58-708779000-PDT.html [nogin] Remove infix.ml on make clean_ Mon Sep 19 02:04:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-59-198292000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-59-198292000-PDT.html [eaton] ._ Mon Sep 19 02:04:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-59-631049000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-04-59-631049000-PDT.html [nogin] Fixed a small bug in the bound variable renaming._ Mon Sep 19 02:05:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-00-029096000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-00-029096000-PDT.html [jyh] Added Nuprl5 interface to editor/ml/shell.mli_ Mon Sep 19 02:05:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-00-397782000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-00-397782000-PDT.html [nogin] Enabled profiled build under Ocaml 2.00._ Mon Sep 19 02:05:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-02-823860000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-02-823860000-PDT.html [nogin] Backed my last change. I was wrong thinking there was a bug._ Mon Sep 19 02:05:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-04-391559000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-04-391559000-PDT.html [nogin] Added the evaluator directory and moved there all the files left_ Mon Sep 19 02:05:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-05-960448000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-05-960448000-PDT.html [nogin] refiner_ Added the signature files describing the minimal_ Mon Sep 19 02:05:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-06-842679000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-06-842679000-PDT.html [jyh] Added some documentation. This HTML is still incomplete_ But it_ Mon Sep 19 02:05:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-08-601898000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-08-601898000-PDT.html [nogin] license.html__ Mon Sep 19 02:05:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-31-923490000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-31-923490000-PDT.html [jyh] Removed bogus quotes from edit_cd_thm._ Mon Sep 19 02:05:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-32-612813000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-32-612813000-PDT.html [jyh] Fixed loading in edit_list_module._ Mon Sep 19 02:05:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-32-975997000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-32-975997000-PDT.html [jyh] Fixed edit_node to convert to ped automatically._ Mon Sep 19 02:05:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-33-587419000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-33-587419000-PDT.html [jyh] Added Lib_term module to provide generic term functions that_ Mon Sep 19 02:05:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-35-343154000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-35-343154000-PDT.html [jyh] I forgot to add the FOL theory. Sorry about that._ Mon Sep 19 02:05:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-37-205597000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-37-205597000-PDT.html [jyh] Added some features Lori requested for the Nuprl5 editor, plus_ Mon Sep 19 02:05:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-38-962999000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-38-962999000-PDT.html [eli] Added a local module declarations like _module TTerm _ ToTerm.Term_, so the_ Mon Sep 19 02:05:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-39-495662000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-39-495662000-PDT.html [eli] Fixed comment typo._ Mon Sep 19 02:05:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-40-234416000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-40-234416000-PDT.html [eli] Fixed an error string to print a newline._ Mon Sep 19 02:05:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-40-626126000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-40-626126000-PDT.html [eli] Made nl_version.ml depend on everything but itself and the executables, so_ Mon Sep 19 02:05:42 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-42-181997000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-42-181997000-PDT.html [eli] cd is now used for all navigations, for example__ Mon Sep 19 02:05:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-43-285519000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-43-285519000-PDT.html [eli] Fixed stupid stuff._ Mon Sep 19 02:05:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-44-849926000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-44-849926000-PDT.html [nogin] Make Eli_s nl_version hack work correctly _I hope__ Mon Sep 19 02:05:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-45-227726000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-09/2005-09-19-02-05-45-227726000-PDT.html