[nogin] ensemble01.cs.cornell.edu __ cvs.metaprl.org_Mon Sep 19 02:34:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-34-17-013454000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-34-17-013454000-PDT.html[nogin] Even shorter URLs__Mon Sep 19 02:34:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-34-18-097261000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-34-18-097261000-PDT.html[nogin] Removed several very old REDAME files._Mon Sep 19 02:34:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-34-22-545953000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-34-22-545953000-PDT.html[nogin] Got rid of Itt_equal_member._Mon Sep 19 02:34:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-34-23-894624000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-34-23-894624000-PDT.html[nogin] Documented couple of problems with the build system._Mon Sep 19 02:37:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-39-198918000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-39-198918000-PDT.html[nogin] Fixed the display form order _ now the newer display form takes priority over_Mon Sep 19 02:37:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-46-676668000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-46-676668000-PDT.html[nogin] I changed the unhide rules according to hide_A_ _ squash_A_ semantics._Mon Sep 19 02:37:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-47-201531000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-47-201531000-PDT.html[nogin] Fixed some mess with dispaly forms. But we still need to implement mode generality,_Mon Sep 19 02:37:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-55-924338000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-55-924338000-PDT.html[nogin] _ Do not go to proof cache for non_interactive proof steps _Jason, do youu agree_Mon Sep 19 02:37:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-56-609020000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-56-609020000-PDT.html[nogin] _ I added my personal TODO file that contains a list of things_Mon Sep 19 02:37:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-57-863208000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-37-57-863208000-PDT.html[nogin] More warnings on tutorial..._Mon Sep 19 02:38:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-38-03-578035000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-38-03-578035000-PDT.html[jyh] Two changes._Mon Sep 19 02:38:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-38-04-001769000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-38-04-001769000-PDT.html[cwitty] 1_ Enable compilation under Debian_Mon Sep 19 02:38:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-38-36-567007000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2000-08/2005-09-19-02-38-36-567007000-PDT.html