[jyh] Beginning the slow process of migrating MetaPRL toward libmojave._ Tue Sep 13 03:42:48 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-42-48-411702000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-42-48-411702000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Tue Sep 13 03:43:00 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-00-947639000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-00-947639000-PDT.html [jyh] This is partial progress toward abstract vars. This is a_ Tue Sep 13 03:43:01 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-01-254615000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-01-254615000-PDT.html [jyh] I decided to finish the port to abstract vars anyway._ Tue Sep 13 03:43:01 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-01-775362000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-01-775362000-PDT.html [jyh] Added make support for the abstract vars branch._ Tue Sep 13 03:43:02 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-02-159818000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-02-159818000-PDT.html [nogin] It should call itsenf __DIR_, not lm_libmojave._ Tue Sep 13 03:43:02 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-02-748909000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-02-748909000-PDT.html [jyh] Migrated String_util and Mp_debug to libmojave versions._ Tue Sep 13 03:43:03 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-03-082753000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-03-082753000-PDT.html [jyh] Somehow CVS is ignoring too many files..._ Tue Sep 13 03:43:03 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-03-694095000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-03-694095000-PDT.html [jyh] Still recovering from bogus CVS ignored files._ Tue Sep 13 03:43:04 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-04-028804000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-04-028804000-PDT.html [jyh] I think this fixes the missing files._ Tue Sep 13 03:43:04 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-04-443668000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-04-443668000-PDT.html [jyh] make opt should now work, except on theories/tpt, which is still need_ Tue Sep 13 03:43:04 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-04-928227000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-04-928227000-PDT.html [jyh] More patches for _make opt__ Tue Sep 13 03:43:05 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-05-337079000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-05-337079000-PDT.html [nogin] __con_ ... __ syntax__ Tue Sep 13 03:43:05 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-05-738578000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-05-738578000-PDT.html [jyh] Moved Array_util to Lm_array_util._ Tue Sep 13 03:43:06 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-06-118178000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-06-118178000-PDT.html [jyh] Changed the string representation of variables. The Lm_symbol.add_ Tue Sep 13 03:43:06 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-06-588321000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-06-588321000-PDT.html [nogin] _ Added Lm_symbol.make that takes an explicit string and an int._ Tue Sep 13 03:43:07 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-07-065421000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-07-065421000-PDT.html [jyh] This migrates much of the mllib code to libmojave._ Tue Sep 13 03:43:07 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-07-968818000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-07-968818000-PDT.html [nogin] Lm_symbol.add and Lm_symbol.string_of_symbol now extablish 1_to_1 correspondence_ Tue Sep 13 03:43:12 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-12-090279000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-12-090279000-PDT.html [nogin] Merging in the abstract_vars branch__ Tue Sep 13 03:43:12 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-12-486740000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-12-486740000-PDT.html [nogin] _ Got rid of the LIBMOJAVE parameted in mk/config _just always use __ROOT_/libmojave__ Tue Sep 13 03:43:17 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-17-704894000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-17-704894000-PDT.html [nogin] _ Changed the ASCII_IO format to be a bit more flexible. This allowed_ Tue Sep 13 03:43:18 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-18-384991000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-18-384991000-PDT.html [jyh] This migrates the set/map code to libmojave._ Tue Sep 13 03:43:18 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-18-811525000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-18-811525000-PDT.html [jyh] Migrated more code into libmojave._ Tue Sep 13 03:43:19 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-19-424622000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-19-424622000-PDT.html [nogin] Lm_list_util should not inlcude things that already exist in List._ Tue Sep 13 03:43:23 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-23-838546000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-23-838546000-PDT.html [nogin] Fixing a recent bug in the _string list list_ string parsing code._ Tue Sep 13 03:43:27 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-27-693296000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-27-693296000-PDT.html [nogin] Made sure readline C flags are enabled only when READLINE_YES is set._ Tue Sep 13 03:43:30 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-30-807107000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-30-807107000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Tue Sep 13 03:43:31 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-31-318413000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-31-318413000-PDT.html [nogin] Changed itt_logic to use explicit rule calls instead of dT and autoT_ Tue Sep 13 03:43:31 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-31-637267000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-31-637267000-PDT.html [nogin] I am getting really close on the branch _ 1419 out of 1448 proofs_ Tue Sep 13 03:43:31 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-31-993130000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2003-07/2005-09-13-03-43-31-993130000-PDT.html