[nogin] Use dest_simple_bterm bt instead of _dest_bterm bt_.bterm in_ Mon Sep 19 02:05:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-45-618421000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-45-618421000-PDT.html [jyh] Modified Shell.edit_create_thm _not_ to take an initial sequent._ Mon Sep 19 02:05:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-45-997022000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-45-997022000-PDT.html [lolorigo] Added library_eval _moved from ../../library because of_ Mon Sep 19 02:05:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-46-410660000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-46-410660000-PDT.html [lolorigo] Removed library_eval since it was moved to editor/ml/._ Mon Sep 19 02:05:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-47-872318000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-47-872318000-PDT.html [nogin] Updated CVS instructions in order to reflect the name change_ Mon Sep 19 02:05:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-48-956595000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-48-956595000-PDT.html [jyh] Added evaluation functions to ShellP4._ Mon Sep 19 02:05:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-49-365140000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-49-365140000-PDT.html [jyh] Added the display form functions for Nuprl5._ Mon Sep 19 02:05:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-51-089452000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-51-089452000-PDT.html [eli] A [not_so] small mode to make nuprl_light navigation easy._ Mon Sep 19 02:05:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-51-567978000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-51-567978000-PDT.html [jyh] Added _reflection_ theory, for reflecting sentences in the meta_logic_ Mon Sep 19 02:05:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-52-058136000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-52-058136000-PDT.html [jyh] I changed all the obvious places of Nuprl_Light, NL, nl, or any_ Mon Sep 19 02:05:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-57-165576000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-05-57-165576000-PDT.html [nogin] mk/config__ Mon Sep 19 02:07:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-05-501930000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-05-501930000-PDT.html [nogin] _make clean_ should remove _.o files_ Mon Sep 19 02:07:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-06-261585000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-06-261585000-PDT.html [nogin] Renaming it in Makefiles__ Mon Sep 19 02:07:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-06-620564000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-06-620564000-PDT.html [nogin] _ Nl_debug __ Mp_debug_ Mon Sep 19 02:07:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-07-899179000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-07-899179000-PDT.html [nogin] Nl_resource __ Mp_resource_ Mon Sep 19 02:07:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-08-338269000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-08-338269000-PDT.html [jyh] Environment variables now begin with MP_ instead of NL_._ Mon Sep 19 02:07:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-09-907325000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-09-907325000-PDT.html [nogin] NLBIN __ MPBIN, NL_TPTP __ MP_TPTP_ Mon Sep 19 02:07:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-10-251591000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-10-251591000-PDT.html [nogin] More NL __ MP changes_ Mon Sep 19 02:07:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-10-692329000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-10-692329000-PDT.html [jyh] Removed libpthread._ Mon Sep 19 02:07:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-11-911499000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-11-911499000-PDT.html [jyh] Renamed nl12 font to mp12._ Mon Sep 19 02:07:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-12-272212000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-12-272212000-PDT.html [jyh] More NL__MP changes._ Mon Sep 19 02:07:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-16-576962000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-16-576962000-PDT.html [nogin] Romoved all references to libpthread _target_ pthread__ Mon Sep 19 02:07:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-17-233609000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-17-233609000-PDT.html [nogin] nl12 __ mp12_ Mon Sep 19 02:07:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-17-623080000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-17-623080000-PDT.html [nogin] Remove Makefile.dep on _make clean__ Mon Sep 19 02:07:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-19-866109000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-19-866109000-PDT.html [lolorigo] Modified library_eval and library_test to reflect_ Mon Sep 19 02:07:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-20-414851000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-20-414851000-PDT.html [eli] Changed NL ___ ML._ Mon Sep 19 02:07:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-20-904982000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-20-904982000-PDT.html [lolorigo] Fixed mp undefined error so compiles._ Mon Sep 19 02:07:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-21-462544000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-21-462544000-PDT.html [nogin] For removing files, always use __RM__ Mon Sep 19 02:07:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-21-844143000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-21-844143000-PDT.html [nogin] Start _make clean_ by cleaning lib and bin_ Mon Sep 19 02:07:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-22-536300000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-22-536300000-PDT.html [nogin] Use _make _C __i_ instead of _cd __i_ make_ to avoid problems in case directory_ Mon Sep 19 02:07:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-22-890245000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-22-890245000-PDT.html [jyh] Intermediate commit on tutorial. Its still not complete._ Mon Sep 19 02:07:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-23-333325000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-23-333325000-PDT.html [jyh] Small change to delay tactic computations._ Mon Sep 19 02:07:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-34-682422000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-34-682422000-PDT.html [eli] Small fixes. You are welcome to try it _ I tested it with a bare Emacs and it_ Mon Sep 19 02:07:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-35-104585000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-10/2005-09-19-02-07-35-104585000-PDT.html