Menu

Src (SVN)-old Commit Log


Commit Date  
[r6724] by tswift

Backing out a change where predicate_property returned tabled(_). The
problem was that due to XSB's module system the structure was not
exported from curr_sym.P making it exteremely confusing to use. predicate_property is now returning tabled and or variant and/or subsumptive.

2010-08-19 19:45:24 Tree
[r6723] by tswift

Forgot to add a test.

2010-08-19 15:53:15 Tree
[r6722] by spyrosh

Roll back to state as of Aug 16, 2010.

2010-08-19 15:03:40 Tree
[r6721] by spyrosh

initial checkin

2010-08-18 04:34:31 Tree
[r6720] by spyrosh

Backed out faulty changes

2010-08-18 03:18:00 Tree
[r6719] by spyrosh

Backed out faulty changes

2010-08-18 03:10:52 Tree
[r6718] by spyrosh

Backed out faulty changes

2010-08-18 03:09:39 Tree
[r6717] by spyrosh

no message

2010-08-17 21:10:43 Tree
[r6716] by --none--

This commit was manufactured by cvs2svn to create tag 'latest_plus_supp'.

2010-08-17 20:48:50 Tree
[r6715] by spyrosh

no message

2010-08-17 20:48:49 Tree
Older >
Auth0 Logo