XSB Src (SVN)-old

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

Src (SVN)-old Commit Log

Commit	Date
[r8638] by tswift Updated the names of tripwires.	2016-02-13 01:11:58	Tree
[r8637] by tswift Got rid of obsolete flag MAX_LIST_ANSWER_DEPTH	2016-02-13 01:11:05	Tree
[r8636] by tswift Made names of tripwires slightly more consistent.	2016-02-13 01:10:01	Tree
[r8635] by kifer more tests, fixed some other tests	2016-02-09 22:40:46	Tree
[r8634] by kifer replaced the dead url mail.cs.stonybrook.edu with mail.google.com	2016-02-09 00:28:53	Tree
[r8633] by tswift Documented get_sdg_subgoal_info/1 and print_sdg_subgoal_info/0.	2016-02-09 00:03:04	Tree
[r8632] by tswift Added get_sdg_subgoal_info/1 and print_sdg_subgoal_info/0, both useful for large SDGs.	2016-02-09 00:02:08	Tree
[r8631] by tswift Forgot to add this before.	2016-02-07 23:05:25	Tree
[r8630] by tswift Changes to allow WCS semantics for unknown predicates along with enabling a user_hook for them.	2016-02-07 20:38:39	Tree
[r8629] by tswift Changes to get the MT engine compiling again.	2016-02-07 20:37:22	Tree

Older >