XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r7636] by tswift Perturbations from change to allow dynamic tabled predicates w. abstraction.	2012-10-10 22:29:02	Tree
[r7635] by tswift Changes to allow dynamic tabled predicates to use abstraction.	2012-10-10 22:28:08	Tree
[r7634] by tswift Forgot a couple of CTXTc's	2012-10-10 21:37:55	Tree
[r7633] by kifer slightly updated windows install	2012-10-10 20:05:12	Tree
[r7632] by tswift tests for predicte-level specification of answer + subgoal abstraction.	2012-10-10 19:21:22	Tree
[r7631] by tswift Support for predicate-level specification of subgoal + answer subsumption.	2012-10-10 19:18:39	Tree
[r7630] by tswift Support for predicate-level specification of subgoal and answer abstraction.	2012-10-10 19:17:14	Tree
[r7629] by tswift Updating documentation for predicate-level specs for brat and subgoal abstraction.	2012-10-10 19:02:38	Tree
[r7628] by tswift Macros now needed by tables.P	2012-10-09 12:25:24	Tree
[r7627] by kifer ce numbervars/3 with /4	2012-10-09 02:30:13	Tree

Older >