Menu

Src (SVN)-old Commit Log


Commit Date  
[r6265] by tswift

Drafts for Version 3.2

2009-02-25 18:28:14 Tree
[r6264] by tswift

Changed absolute paths to relative paths.

2009-02-22 23:44:18 Tree
[r6263] by tswift

Fixed typo.

2009-02-22 22:48:56 Tree
[r6262] by ruim

fixed small problem in mt compilation

2009-02-21 23:13:07 Tree
[r6261] by tswift

Added cut in thread_send_message.

2009-02-21 21:39:04 Tree
[r6260] by tswift

Finish commit of Rui's change for deadlock bug.

2009-02-21 19:39:53 Tree
[r6259] by tswift

Changed output to indicate that the tests differ on subsumption.

2009-02-21 17:23:12 Tree
[r6258] by tswift

Small comment

2009-02-21 17:05:07 Tree
[r6257] by tswift

Changes to support

statistics/2
Rui's fix for the mt bug

along with scratch code for answer_completion.

2009-02-21 16:47:34 Tree
[r6256] by tswift

Changes supporting

1) ignoring meta_predicate as an operator
2) statistics/2
3) dialect flag.

2009-02-21 16:42:53 Tree
Older >
Monday.com Logo