[nogin] This is supposed to fix alpha_equal._ Mon Sep 19 02:08:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-11-477699000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-11-477699000-PDT.html [jyh] Fixed opname specification error in Itt_fset._ Mon Sep 19 02:08:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-12-052167000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-12-052167000-PDT.html [nogin] This file produces different results with Term_ds and Term_std,_ Mon Sep 19 02:08:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-12-617842000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-12-617842000-PDT.html [jyh] Fixed off_by_one error in nth_clause_addr._ Mon Sep 19 02:08:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-13-001844000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-13-001844000-PDT.html [jyh] Fixed up _make clean_ to remove more files._ Mon Sep 19 02:08:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-13-375344000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-13-375344000-PDT.html [jyh] Fixed some problems with Ensemble._ Mon Sep 19 02:08:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-13-922324000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-13-922324000-PDT.html [jyh] Fixed some linking problems with intern/extern.c when Ensemble_ Mon Sep 19 02:08:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-18-718418000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-18-718418000-PDT.html [nogin] Fixed the build with undefined OCAMLSRC and the native code build_ Mon Sep 19 02:08:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-20-484348000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-20-484348000-PDT.html [nogin] Added profiling control functions stop_gmon and restart_gmon to MP_ Mon Sep 19 02:08:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-21-153457000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-21-153457000-PDT.html [nogin] Forgot the main profiling file ____ Mon Sep 19 02:08:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-21-648295000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-21-648295000-PDT.html [nogin] Another small __6__ PHP4 speedup_ Mon Sep 19 02:08:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-23-182095000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-23-182095000-PDT.html [nogin] This is a little faster._ Mon Sep 19 02:08:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-23-953536000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-23-953536000-PDT.html [nogin] Create ../lib/mbs_mpl.txt link on _make opt__ Mon Sep 19 02:08:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-24-361977000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-24-361977000-PDT.html [nogin] I_ve got test.opt to compile, but it would raise an exception when_ Mon Sep 19 02:08:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-24-711177000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-24-711177000-PDT.html [nogin] Factorial example now works. To run__ Mon Sep 19 02:08:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-26-366312000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-26-366312000-PDT.html [jyh] Test function for itt_fset._ Mon Sep 19 02:08:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-26-868628000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-26-868628000-PDT.html [jyh] Test function for refl_term._ Mon Sep 19 02:08:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-27-335224000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-27-335224000-PDT.html [eli] Added a dash in meta_prl._ Mon Sep 19 02:08:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-27-852932000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-27-852932000-PDT.html [eli] Removed redundant opens, indentation fix._ Mon Sep 19 02:08:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-29-446952000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-29-446952000-PDT.html [jyh] This is the version of the distributed prover used in the_ Mon Sep 19 02:08:30 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-30-113915000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-30-113915000-PDT.html [nogin] Fixed misleading comment_ Mon Sep 19 02:08:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-34-731220000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-34-731220000-PDT.html [nogin] Set LC_ALL and LANG environment variables to _C_ when creating_ Mon Sep 19 02:08:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-35-082442000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-35-082442000-PDT.html [nogin] Suffix for the Refiner module to use._ Mon Sep 19 02:08:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-35-451196000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-35-451196000-PDT.html [nogin] I believe, I_ve fixed the problem Yegor had found._ Mon Sep 19 02:08:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-35-893295000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-35-893295000-PDT.html [yegor] _ Mon Sep 19 02:08:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-37-481181000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-37-481181000-PDT.html [jyh] Added smaller examples._ Mon Sep 19 02:08:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-37-912925000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-37-912925000-PDT.html [nogin] A Quick Guide to MetaPRL Profiling_ Mon Sep 19 02:08:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-38-314592000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-38-314592000-PDT.html [yegor] _ Mon Sep 19 02:08:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-38-910118000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-38-910118000-PDT.html [jyh] Distributed refiner for CADE_16._ Mon Sep 19 02:08:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-41-680986000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-41-680986000-PDT.html [jyh] Added edit_set_goal, which loads the package if it is not yet loaded._ Mon Sep 19 02:08:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-45-705313000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-45-705313000-PDT.html [jyh] Added edit_save function to save a specific package._ Mon Sep 19 02:08:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-46-229825000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-46-229825000-PDT.html [nogin] Added some simple code to match two hypothesis lists._ Mon Sep 19 02:08:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-46-611738000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-46-611738000-PDT.html [jyh] Upgraded to OCaml 2.01._ Mon Sep 19 02:08:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-47-077727000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-47-077727000-PDT.html [nogin] Fixed some of _this expression should have type unit_ warnings_ Mon Sep 19 02:08:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-50-304978000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-50-304978000-PDT.html [lolorigo] Upgraded to OCaml 2.01._ Mon Sep 19 02:08:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-50-954379000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-50-954379000-PDT.html [jyh] Added _simp_ and _verb_ rules to Makefiles. There are no _.mlp and _.mlip_ Mon Sep 19 02:08:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-52-916772000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-01/2005-09-19-02-08-52-916772000-PDT.html