[nogin] When comparing symbols, compare ints first, instead of using Pervasives.compare_ Tue Sep 13 03:46:15 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-15-277508000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-15-277508000-PDT.html [yegor] 1.deletemax added to splay_table _and other tables_._ Tue Sep 13 03:46:16 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-16-898732000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-16-898732000-PDT.html [nogin] _ Made Lm_list_util.flat_map tail_recursive._ Tue Sep 13 03:46:17 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-17-651456000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-17-651456000-PDT.html [nogin] Removed all the unused _open_ statements._ Tue Sep 13 03:46:18 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-18-035272000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-18-035272000-PDT.html [yegor] Lm_splay_table, etc _ list_of added,_ Tue Sep 13 03:46:18 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-18-360933000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-18-360933000-PDT.html [yegor] Lm_splay_table _ more efficient implementation of list_of._ Tue Sep 13 03:46:19 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-19-985464000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2004-01/2005-09-13-03-46-19-985464000-PDT.html