XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r7641] by tswift Fixed a variable that didn't get bound in foreign file consulting, as pointed out by Michael.	2012-10-11 22:31:56	Tree
[r7640] by tswift Revised description of u_not/1.	2012-10-11 21:31:34	Tree
[r7639] by tswift * empty log message *	2012-10-11 19:43:20	Tree
[r7638] by tswift simple tests of u_not/1.	2012-10-11 19:41:27	Tree
[r7637] by tswift Added doc for u_not/1.	2012-10-11 19:37:39	Tree
[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

Older >