XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Src (SVN)-old Commit Log

Commit	Date
[r865] by kifer Fixed the flora_subclass bug. Optimized the nonmon inheritance rules.	1999-06-15 03:33:29	Tree
[r864] by guizyang (X:ea).method[...] can parse now.	1999-06-14 20:55:35	Tree
[r863] by kifer Small fixes.	1999-06-14 07:03:26	Tree
[r862] by cbaoqiu Fixed a bug in GET_DELAY_LISTS: changed the place to call free(copy_of_var_addr).	1999-06-14 00:32:07	Tree
[r861] by kifer minor changes	1999-06-13 19:44:52	Tree
[r860] by kifer Updates with respect to inheritance & equality	1999-06-13 19:44:25	Tree
[r859] by kifer Put in non-monotonic inheritance axioms.	1999-06-13 19:43:47	Tree
[r858] by kifer Fixed the rules for nonmon inheritance. Added inheritance with equality to future work.	1999-06-12 06:13:38	Tree
[r857] by kifer Added the import of ground/1 from basics.	1999-06-12 05:49:24	Tree
[r856] by kifer Added examples of conflicting multiple inheritance.	1999-06-12 05:48:11	Tree

Older >