XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[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
[r7626] by tswift Fixed a couple of problems with profiler, so both the profiler and the verbose mode are usable now.	2012-10-03 19:15:21	Tree
[r7625] by kifer fixed configuration with-odbc and with-dbdrivers	2012-09-29 02:08:28	Tree

Older >