[jyh] Added lm_uname, a hook to the uname syscall._Mon Sep 19 06:24:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-24-717958000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-24-717958000-PDT.html[jyh] Updated the OMakefiles to see if we can get threads working again._Mon Sep 19 06:24:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-25-123074000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-25-123074000-PDT.html[nogin] Updating the make build system to support THREADS_ENABLED._Mon Sep 19 06:24:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-25-747807000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-25-747807000-PDT.html[nogin] _ added a generated file to _make clean__Mon Sep 19 06:24:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-26-332930000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-26-332930000-PDT.html[nogin] Fixing bug 221 _ made the Phobos pp functionality more consistent._Mon Sep 19 06:24:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-26-712772000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-26-712772000-PDT.html[nogin] More profiling support._Mon Sep 19 06:24:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-27-243353000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-27-243353000-PDT.html[nogin] _omake clean_ should be a bit more clean._Mon Sep 19 06:24:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-27-799670000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-27-799670000-PDT.html[xiny] Other places requiring quote_parameter update._Mon Sep 19 06:24:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-28-192337000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-28-192337000-PDT.html[xiny] Removed unnecessary changes in 1.31.2.2_Mon Sep 19 06:24:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-28-651697000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-28-651697000-PDT.html[nogin] This update is just a rearrangement of the code to make it a bit more manageable__Mon Sep 19 06:24:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-29-011627000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-29-011627000-PDT.html[nogin] Removing some unused code _because it is using some APIs that I want_Mon Sep 19 06:24:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-30-551273000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-30-551273000-PDT.html[xiny] Alexei_Xin__Mon Sep 19 06:24:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-30-955752000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-30-955752000-PDT.html[nogin] Cert generation prints a lot of junk_ redirecting it to /dev/null._Mon Sep 19 06:24:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-31-338356000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-31-338356000-PDT.html[nogin] _Merging the quote_param branch__Mon Sep 19 06:24:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-31-700874000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-31-700874000-PDT.html[nogin] Removing some unused code that attempted to duplicate functionality already_Mon Sep 19 06:24:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-32-983046000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-32-983046000-PDT.html[yegor] reduce_add_monom is more strict now _does not rely on implicit assumptions__Mon Sep 19 06:24:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-33-443193000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-33-443193000-PDT.html[yegor] minor changes_Mon Sep 19 06:24:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-33-882690000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-33-882690000-PDT.html[yegor] Added a slight improvement._Mon Sep 19 06:24:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-34-315860000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-34-315860000-PDT.html[yegor] more optimization _treatment of wf_subgoals is optimal now,_Mon Sep 19 06:24:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-34-685756000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-34-685756000-PDT.html[yegor] Fixing some proofs that were borken long ago _ when I forked evaluation to_Mon Sep 19 06:24:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-35-141799000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-35-141799000-PDT.html[yegor] _.o added_Mon Sep 19 06:24:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-57-935151000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-57-935151000-PDT.html[yegor] Added one more version with no intermediate conversions_Mon Sep 19 06:24:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-58-275373000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-24-58-275373000-PDT.html[nogin] Some code cleanup._Mon Sep 19 06:25:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-03-822948000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-03-822948000-PDT.html[nogin] Correctly normalize the proof node when taking a node count _the code that was_Mon Sep 19 06:25:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-04-303316000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-04-303316000-PDT.html[nogin] Proved pairFormation from pairEquality._Mon Sep 19 06:25:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-04-711392000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-04-711392000-PDT.html[nogin] The Itt_dprod.productSubtype rule was invalid_ I_ve added the missing wf_Mon Sep 19 06:25:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-10-951703000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-10-951703000-PDT.html[nogin] Minor code clean_up._Mon Sep 19 06:25:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-14-115543000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-14-115543000-PDT.html[jyh] This modifies the infrastructure for threads. Here is the model__Mon Sep 19 06:25:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-14-585600000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-14-585600000-PDT.html[jyh] Updated the browser to the new state model._Mon Sep 19 06:25:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-19-009945000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-19-009945000-PDT.html[nogin] Added a _find_subgoal_ tool for finding the primitive node that generated_Mon Sep 19 06:25:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-19-795304000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-19-795304000-PDT.html[nogin] Simplified the code a bit _by moving the commands record hack into the_Mon Sep 19 06:25:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-20-498922000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-20-498922000-PDT.html[yegor] Interestingly that for this version lazy strategy _like in reduceC__Mon Sep 19 06:25:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-20-921387000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-20-921387000-PDT.html[nogin] Declare the loc version of the resource_def._Mon Sep 19 06:25:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-21-337441000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-21-337441000-PDT.html[jyh] This implements a version of SLOPPY_DEPENDENCIES. Sloppy dependencies_Mon Sep 19 06:25:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-21-695106000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-21-695106000-PDT.html[jyh] Resolved the Not_found problem. So hard to track down___Mon Sep 19 06:25:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-22-220349000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-22-220349000-PDT.html[jyh] Removing some slot terms. Note that anything displayed in a slot_Mon Sep 19 06:25:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-22-783474000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-22-783474000-PDT.html[nogin] Updated a few display forms _including one for sequents and meta_sequents__Mon Sep 19 06:25:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-23-189597000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-23-189597000-PDT.html[nogin] _ Do not use slot__ in Perv_cons display form_Mon Sep 19 06:25:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-23-706816000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-23-706816000-PDT.html[jyh] View options should now be more sensible._Mon Sep 19 06:25:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-24-283383000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-24-283383000-PDT.html[nogin] Got rif of the unused _internal_ flag for the display forms._Mon Sep 19 06:25:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-25-061298000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-25-061298000-PDT.html[nogin] Removed a huge number of repeatitions of_Mon Sep 19 06:25:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-27-838447000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-27-838447000-PDT.html[jyh] Synchronization fixes._Mon Sep 19 06:25:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-28-821344000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-28-821344000-PDT.html[jyh] Stype tweaks to get resizing to work better._Mon Sep 19 06:25:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-29-277542000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-29-277542000-PDT.html[jyh] Adding support for saving session state in files._Mon Sep 19 06:25:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-29-898339000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-29-898339000-PDT.html[nogin] Moved the initialization of common paths __MPLIB, _MP_HOME, _/.metaprl, etc__Mon Sep 19 06:25:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-30-616493000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-30-616493000-PDT.html[nogin] Made the Setup.lib and Setup.root computation delayed _to allow the setup_Mon Sep 19 06:25:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-31-885366000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-31-885366000-PDT.html[nogin] _ _bug 154_ Made the read_tokens function delayed _ the token file will_Mon Sep 19 06:25:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-32-676790000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-32-676790000-PDT.html[nogin] _ Require omake 0.7.15_Mon Sep 19 06:25:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-33-232552000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-33-232552000-PDT.html[nogin] Forgot to update this file as well _since it is only compiled when bytecode is used_._Mon Sep 19 06:25:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-33-908322000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-33-908322000-PDT.html[nogin] Fixed the warning format strings._Mon Sep 19 06:25:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-34-285721000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-34-285721000-PDT.html[jyh] Fixed the ls problem I believe._Mon Sep 19 06:25:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-34-764538000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-34-764538000-PDT.html[nogin] Added linking the inputs to lib to the .DEFAULT target._Mon Sep 19 06:25:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-38-136822000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-38-136822000-PDT.html[nogin] _ Added a _D_ _LsDocumentation_ flag and a corresponding browser interface_Mon Sep 19 06:25:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-38-538279000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-38-538279000-PDT.html[nogin] Minor HTML fixes._Mon Sep 19 06:25:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-39-370437000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-39-370437000-PDT.html[nogin] In print_theory, use LsAll _as opposed to the _print nothing_ empty set__._Mon Sep 19 06:25:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-39-818843000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-39-818843000-PDT.html[jyh] This is the new file model._Mon Sep 19 06:25:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-40-549834000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-40-549834000-PDT.html[jyh] Fixed the problem with _restart._Mon Sep 19 06:25:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-41-716694000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-41-716694000-PDT.html[jyh] These commands do not modify theories__Mon Sep 19 06:25:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-42-353003000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-42-353003000-PDT.html[jyh] Be more careful about which interpret commands modify theories._Mon Sep 19 06:25:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-43-477682000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-43-477682000-PDT.html[jyh] Simplified the Shell.chdir function a little._Mon Sep 19 06:25:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-43-961797000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-43-961797000-PDT.html[jyh] We had all kinds of problems with inconsistent directories in the shell._Mon Sep 19 06:25:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-44-824725000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-44-824725000-PDT.html[jyh] Added a dummy _fs_ directory._Mon Sep 19 06:25:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-45-879334000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-45-879334000-PDT.html[jyh] Removed edit_root, edit_up, and edit_down. They were never used._Mon Sep 19 06:25:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-46-351448000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-46-351448000-PDT.html[nogin] Made sure MetaPRL compiles with THREADS_ENABLED_false._Mon Sep 19 06:25:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-46-966773000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-46-966773000-PDT.html[nogin] _ Shell_core_ minor update of some of the strings._Mon Sep 19 06:25:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-47-334015000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-47-334015000-PDT.html[jyh] I thought I should commit before we get too out of date._Mon Sep 19 06:25:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-47-832473000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-47-832473000-PDT.html[jyh] This should fix the refresh problem._Mon Sep 19 06:25:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-49-470235000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-49-470235000-PDT.html[n8gray] Fixed build with SSL_ENABLED on OS X._Mon Sep 19 06:25:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-50-155223000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-50-155223000-PDT.html[nogin] _ Include _lssl/_lncurses/_lreadline only when the corresponding ENABLED_Mon Sep 19 06:25:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-50-529232000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-50-529232000-PDT.html[jyh] This is the _Newer File Model_ as discussed with Aleksey._Mon Sep 19 06:25:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-51-036083000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-51-036083000-PDT.html[jyh] Separate _shell_ sessions from _browser_ sessions._Mon Sep 19 06:25:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-51-941643000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-51-941643000-PDT.html[nogin] Centralized the shell handling of the _display method_ data _including_Mon Sep 19 06:25:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-52-879770000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-52-879770000-PDT.html[jyh] Aleksey Nogin wrote__Mon Sep 19 06:25:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-54-036907000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-54-036907000-PDT.html[nogin] In DisplayTex mode, output must go to the .tex file, not stdout._Mon Sep 19 06:25:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-54-431405000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-54-431405000-PDT.html[nogin] Removing a bit of unused code._Mon Sep 19 06:25:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-54-854010000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-54-854010000-PDT.html[nogin] Removing some unused code._Mon Sep 19 06:25:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-55-269619000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-55-269619000-PDT.html[nogin] _ Removed some more unused code._Mon Sep 19 06:25:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-55-668856000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-55-668856000-PDT.html[jyh] Fixed the refresh problem. The issue with refresh was that it was lazy__Mon Sep 19 06:25:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-56-264394000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-56-264394000-PDT.html[nogin] 1_ This makes a major change in how the relative addresses are handled_Mon Sep 19 06:25:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-57-023103000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-57-023103000-PDT.html[nogin] Inlined the access.js back into access.html. This is necessary because_Mon Sep 19 06:25:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-59-880173000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-25-59-880173000-PDT.html[yegor] Removed access.js_Mon Sep 19 06:26:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-00-312951000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-00-312951000-PDT.html[nogin] Oops, one more place with access.js_Mon Sep 19 06:26:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-00-688996000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-00-688996000-PDT.html[jyh] Added file support._Mon Sep 19 06:26:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-01-088755000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-01-088755000-PDT.html[n8gray] Corrected OS X docs._Mon Sep 19 06:26:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-01-648010000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-01-648010000-PDT.html[nogin] _ Fixed _hopefully_ the source mode display forms for variables._Mon Sep 19 06:26:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-02-022329000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-02-022329000-PDT.html[jyh] Added some extra items to the menus._Mon Sep 19 06:26:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-02-483918000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-02-483918000-PDT.html[jyh] Update so styles work in IE too._Mon Sep 19 06:26:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-02-961281000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-02-961281000-PDT.html[nogin] _ Made the definitions viewable_Mon Sep 19 06:26:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-03-389842000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-03-389842000-PDT.html[nogin] A few display form fixes__Mon Sep 19 06:26:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-03-930199000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-03-930199000-PDT.html[nogin] Cd to the MetaPRL root before running CVS._Mon Sep 19 06:26:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-04-342612000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-04-342612000-PDT.html[nogin] _ The _/manual/filename_ URIs now serve the documentation from the_Mon Sep 19 06:26:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-04-734628000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-04-734628000-PDT.html[nogin] Added MetaPRL version to the Welcome page. HTML could be nicer, though._Mon Sep 19 06:26:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-05-247970000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-05-247970000-PDT.html[nogin] Adding the .ico version of the metaprl.png file._Mon Sep 19 06:26:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-05-855893000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-05-855893000-PDT.html[nogin] Adding the MetaPRL _shortcut_ icon _both Mozilla and IE should be happy, hopefully_._Mon Sep 19 06:26:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-06-348470000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-06-348470000-PDT.html[nogin] Emphasize the _Start_ link._Mon Sep 19 06:26:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-07-052269000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-07-052269000-PDT.html[jyh] I tried to move the display forms to Shell_fs, but it didn_t work,_Mon Sep 19 06:26:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-07-483449000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-07-483449000-PDT.html[jyh] Re_introduced fs_cwd. Handle pathnames appropriately in Shell_syscall._Mon Sep 19 06:26:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-08-694364000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-08-694364000-PDT.html[jyh] Re_use the HTTP socket on a restart. The socket descriptor_Mon Sep 19 06:26:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-09-254762000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-09-254762000-PDT.html[jyh] Add the session and directory to the title bar._Mon Sep 19 06:26:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-10-038430000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-10-038430000-PDT.html[nogin] _ Forgot the tex mode yesterday. Jason, does your new _src is a special mode__Mon Sep 19 06:26:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-10-534375000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-10-534375000-PDT.html[jyh] This is probably the final round of changes._Mon Sep 19 06:26:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-11-020285000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-11-020285000-PDT.html[nogin] _ Do not die on entering a primitive item _is_edit_enabled needed to return_Mon Sep 19 06:26:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-11-982180000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-11-982180000-PDT.html[nogin] An alternative fix to the _InteractiveSummary_ problem, hopefully this time_Mon Sep 19 06:26:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-12-479272000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-12-479272000-PDT.html[nogin] support/shell/session_io.ml is a generated file and needs to be cleaned._Mon Sep 19 06:26:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-12-950304000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-12-950304000-PDT.html[jyh] Added _fs_ module to root._Mon Sep 19 06:26:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-13-339808000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-13-339808000-PDT.html[nogin] Added a build_time framework for groupping MetaPRL modules into theories._Mon Sep 19 06:26:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-13-950028000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-13-950028000-PDT.html[jyh] Moved the Shell.command struct outside of the shell, so that we can_Mon Sep 19 06:26:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-14-862613000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-14-862613000-PDT.html[nogin] Since basic shell commands no longer live in Shell, the theories that used_Mon Sep 19 06:26:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-16-705647000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-16-705647000-PDT.html[nogin] By default _i.e. when outside of a package_, use Shell_theory display forms,_Mon Sep 19 06:26:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-17-316702000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-17-316702000-PDT.html[jyh] Output is persistent._Mon Sep 19 06:26:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-17-735312000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-17-735312000-PDT.html[jyh] Moved file display forms from Summary to Shell_fs._Mon Sep 19 06:26:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-18-703063000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-18-703063000-PDT.html[nogin] If refresh fails _the module or directory might no longer exist_, try falling_Mon Sep 19 06:26:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-19-288880000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-19-288880000-PDT.html[nogin] 1_ Group the modules into theories. Now the filesystem structure has the_Mon Sep 19 06:26:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-19-698540000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-19-698540000-PDT.html[jyh] Fixed the problem with going to some random directory on restart._Mon Sep 19 06:26:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-21-674360000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-21-674360000-PDT.html[nogin] _ The Lm_big_int.of_string had no support for non_decimal formats _0xN, 0bN,_Mon Sep 19 06:26:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-22-440653000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-22-440653000-PDT.html[jyh] Fixed Javascript string escapes._Mon Sep 19 06:26:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-22-916871000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-22-916871000-PDT.html[nogin] Added 3 new is_enabled methods _ MethodRedo _checks whether redo stack is empty_,_Mon Sep 19 06:26:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-23-513374000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-23-513374000-PDT.html[nogin] Changed apply_all to do the right thing in case it is called inside_Mon Sep 19 06:26:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-24-210187000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-24-210187000-PDT.html[jyh] Made editing much more robust, so that you don_t lost work_Mon Sep 19 06:26:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-24-691412000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-24-691412000-PDT.html[nogin] The init function is now in Shell_current._Mon Sep 19 06:26:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-25-858228000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-25-858228000-PDT.html[jyh] Fixed some browser problems with IE._Mon Sep 19 06:26:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-26-253419000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-26-253419000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:26:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-27-285254000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-27-285254000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:26:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-37-288848000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-37-288848000-PDT.html[nogin] 1_ It is now possible to specify the host name to use _in SSL certificates_Mon Sep 19 06:26:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-47-229912000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-47-229912000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:26:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-48-124328000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-48-124328000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:26:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-56-099998000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-26-56-099998000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:27:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-04-221311000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-04-221311000-PDT.html[nogin] Minor type in the alt tag for left arrow _should be _____, not ______._Mon Sep 19 06:27:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-10-083029000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-10-083029000-PDT.html[nogin] _ I_ve changed the browser interface to be the default one. Use the __cli__Mon Sep 19 06:27:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-10-498433000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-10-498433000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:27:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-11-143529000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-11-143529000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:27:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-19-176261000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-19-176261000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:27:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-20-899562000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-20-899562000-PDT.html[nogin] mp.opt depends on the .o files, not just the .cmx ones._Mon Sep 19 06:27:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-28-747306000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-28-747306000-PDT.html[nogin] status_all needs to use the __cli_ option._Mon Sep 19 06:27:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-29-174512000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-29-174512000-PDT.html[nogin] When for some reason the content URL instructed us to chdir to one place and_Mon Sep 19 06:27:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-29-579684000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-29-579684000-PDT.html[nogin] Some of the code was attempting to add root to a file that already contained it,_Mon Sep 19 06:27:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-30-038447000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-30-038447000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:27:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-30-463884000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-27-30-463884000-PDT.html[nogin] A few NASSLLI_specific changes._Mon Sep 19 06:28:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-33-733172000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-33-733172000-PDT.html[nogin] _omake doc_ needs to use the _cli option when generating .tex files._Mon Sep 19 06:28:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-34-325099000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-34-325099000-PDT.html[jyh] For some reason IE insists on caching the output page._Mon Sep 19 06:28:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-34-768258000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-34-768258000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:28:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-35-304538000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-35-304538000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:28:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-42-486905000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-42-486905000-PDT.html[jyh] Added the extra menus._Mon Sep 19 06:28:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-52-706647000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-52-706647000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:28:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-53-214292000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-53-214292000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:28:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-57-283987000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-28-57-283987000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:29:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-05-040063000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-05-040063000-PDT.html[nogin] Use different arrows _might not look as good, but should show up in IE_._Mon Sep 19 06:29:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-08-875939000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-08-875939000-PDT.html[nogin] Jason_s fixes to Win32 build._Mon Sep 19 06:29:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-09-325245000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-09-325245000-PDT.html[jyh] This should fix the problem with saving._Mon Sep 19 06:29:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-09-783087000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-09-783087000-PDT.html[jyh] Win32 now compiles. The browser interface almost works..._Mon Sep 19 06:29:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-10-771556000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-10-771556000-PDT.html[nogin] Copying Jason_s branch commit to the trunk._Mon Sep 19 06:29:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-11-286879000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-11-286879000-PDT.html[nogin] Used Jason_s print_rbuffer suggestion to make sure that check_all output is reasonable._Mon Sep 19 06:29:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-12-095683000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-12-095683000-PDT.html[nogin] The state of things after the first lecture._Mon Sep 19 06:29:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-12-701125000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-12-701125000-PDT.html[nogin] Updated for tomorrow._Mon Sep 19 06:29:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-13-653226000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-13-653226000-PDT.html[nogin] Before creating the client.pem, make sure MP_BROWSER_HOSTNAME is set_Mon Sep 19 06:29:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-14-146254000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-14-146254000-PDT.html[nogin] Do not display extracts__Mon Sep 19 06:29:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-14-664147000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-14-664147000-PDT.html[nogin] Post_lecture commit._Mon Sep 19 06:29:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-15-081958000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-15-081958000-PDT.html[nogin] Proofs done in class._Mon Sep 19 06:29:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-15-529439000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-15-529439000-PDT.html[nogin] _Directory_ menu fixes__Mon Sep 19 06:29:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-16-800848000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-16-800848000-PDT.html[jyh] Compiles under Win32 again._Mon Sep 19 06:29:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-17-265504000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-17-265504000-PDT.html[jyh] Some updates to README.WIN32_Mon Sep 19 06:29:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-18-006954000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-18-006954000-PDT.html[nogin] _.lib_Mon Sep 19 06:29:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-18-509564000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-18-509564000-PDT.html[nogin] Minor updates._Mon Sep 19 06:29:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-18-917080000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-18-917080000-PDT.html[nogin] Adding an empty theory._Mon Sep 19 06:29:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-19-354830000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-19-354830000-PDT.html[nogin] Really adding it this time._Mon Sep 19 06:29:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-19-778212000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-19-778212000-PDT.html[nogin] This is a first step towards making some of our module signature and functor_Mon Sep 19 06:29:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-20-203702000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-20-203702000-PDT.html[nogin] Continuing work on bug 169 _ moved the types in TermAddr, TermOp, TermMan and_Mon Sep 19 06:29:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-25-555422000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-25-555422000-PDT.html[nogin] This implements the bug 169 RFE _ now one can finally just say _open Basic_tactics__Mon Sep 19 06:29:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-28-304489000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-28-304489000-PDT.html[nogin] Adding the prim_rewrite type to Basic_tactics._Mon Sep 19 06:29:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-35-061292000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-35-061292000-PDT.html[nogin] Forgot shell_p4 again..._Mon Sep 19 06:29:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-37-536228000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-37-536228000-PDT.html[nogin] Added the cut rule._Mon Sep 19 06:29:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-37-976838000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-37-976838000-PDT.html[nogin] Working on LC in class._Mon Sep 19 06:29:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-38-417255000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-38-417255000-PDT.html[nogin] More general cut rule._Mon Sep 19 06:29:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-38-943667000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-38-943667000-PDT.html[jyh] Disable SSL if SSL_ENABLED is not set. This is a first pass,_Mon Sep 19 06:29:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-39-373946000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-39-373946000-PDT.html[nogin] The order of items in Basic_tactics needs to be different in order_Mon Sep 19 06:29:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-39-860308000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-39-860308000-PDT.html[nogin] Updated documentation for OMake. Please take a look__Mon Sep 19 06:29:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-40-354961000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-40-354961000-PDT.html[nogin] Removing the make build system. Now the only way to build MetaPRL_Mon Sep 19 06:29:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-41-263420000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-41-263420000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:29:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-44-340243000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-44-340243000-PDT.html[nogin] The NASSLI version of MetaPRL is now version 0.9.6_Mon Sep 19 06:29:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-47-538704000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-47-538704000-PDT.html[nogin] The MetaPRL trunk is now version 0.9.6__Mon Sep 19 06:29:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-47-989945000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-47-989945000-PDT.html[yegor] _ Fixed several typos_Mon Sep 19 06:29:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-48-417666000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-48-417666000-PDT.html[n8gray] Clarified a few paragraphs._Mon Sep 19 06:29:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-48-918685000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-48-918685000-PDT.html[nogin] Fixing a typo Nathan found._Mon Sep 19 06:29:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-49-357621000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-49-357621000-PDT.html[nogin] Committing things added during the last lecture._Mon Sep 19 06:29:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-49-792803000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-49-792803000-PDT.html[nogin] Fixing a typo noticed by Alexei_ line wrapping._Mon Sep 19 06:29:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-50-304371000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-50-304371000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:29:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-50-791415000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-50-791415000-PDT.html[nogin] Refiner.Refiner.RefineError is now included in Basic_tactics_Mon Sep 19 06:29:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-51-221707000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-51-221707000-PDT.html[] This commit was manufactured by cvs2svn to create tag _trunk_._Mon Sep 19 06:29:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-54-197374000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-29-54-197374000-PDT.html[nogin] Sequent conclusions should be LIST0, not LIST1 _i.e. the grammar should allow_Mon Sep 19 06:30:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-30-10-256650000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-30-10-256650000-PDT.html[nogin] Added rudimentary support for displaying sequents with __1 conclusions._Mon Sep 19 06:30:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-30-11-889281000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-30-11-889281000-PDT.html[n8gray] Disguising e_mail addresses __ this file appears in Google searches._Mon Sep 19 06:30:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-30-12-536643000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-06/2005-09-19-06-30-12-536643000-PDT.html