[jyh] Added some support for sequent operations._ Tue Sep 13 03:43:45 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-45-202921000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-45-202921000-PDT.html [jyh] Turned off the hyp check so that we can at least see the sequents._ Tue Sep 13 03:43:45 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-45-596687000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-45-596687000-PDT.html [nogin] _ Unification should now give something slightly resembling meaningful error messages._ Tue Sep 13 03:43:46 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-46-445354000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-46-445354000-PDT.html [jyh] Added better support for win32. The main changes are for the C files,_ Tue Sep 13 03:43:47 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-47-626028000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-47-626028000-PDT.html [nogin] Moving [o]make variable defaults into a shared file mk/defaults._ Tue Sep 13 03:43:50 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-50-129218000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-50-129218000-PDT.html [nogin] _ Removed _using the util/clean_opens script_ approx. 2400 unneeded _open__ Tue Sep 13 03:43:55 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-55-042407000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-08/2005-09-13-03-43-55-042407000-PDT.html