XSB Src (SVN)-old

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

• Summary
• Files
• Reviews
• Support
• Mail Lists
• Tickets ▾
  • Bugs
  • Feature Requests
  • Support Requests
  • Patches
• News
• Sources (GIT)
• Src (SVN)-old

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Src (SVN)-old Commit Log

Commit	Date
[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
[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

Older >

✕