Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r8466] by kifer

in the clean target: don't delete xasp.h.
This file seems to be permanent and not generated.

 2015-09-08 02:10:30 Tree
[r8465] by dwarren

Fixed bug in get_delay_lists involving first-occurrence variables.

 2015-09-08 01:05:03 Tree
[r8464] by dwarren

Throw an error to make it more standard compliant (noticed by Ulrich.)

 2015-09-07 20:52:59 Tree
[r8463] by tswift

fixed broken commit.

 2015-09-07 20:10:52 Tree
[r8462] by tswift

Took out debugging statement.

 2015-09-07 19:52:11 Tree
[r8461] by tswift

Fixed a typo

 2015-09-07 19:51:15 Tree
[r8460] by tswift

Exported an old version of a predicate, with the wrong arity -- now fixed.

 2015-09-07 18:10:06 Tree
[r8459] by tswift

Documentation of get_incomplete_subgoal_info and get_incomplete_scc_info, along with a few tweaks to table_builtins.tex

 2015-09-07 16:53:37 Tree
[r8458] by tswift

Added get_incomplete_subgoal_info and get_incomplete_scc_info.

 2015-09-07 16:52:39 Tree
[r8457] by tswift

Changes to support get_incomplete_subgoal_info and friends.

 2015-09-07 16:50:07 Tree
Older >
MongoDB Logo MongoDB