[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