Menu

Src (SVN)-old Commit Log


Commit Date  
[r9676] by dwarren

Straighten out a nameing conflict.

2019-10-04 15:56:34 Tree
[r9675] by dwarren

Added -f flag to rm, to quiet.

2019-10-04 15:08:41 Tree
[r9674] by dwarren

minor cleanup of 't not'.

2019-10-04 14:11:51 Tree
[r9673] by dwarren

Test one more minor thing.

2019-10-04 14:06:55 Tree
[r9672] by dwarren

Simple cleanup: Eliminate tabling of nonexistent predicate.

2019-10-04 13:53:20 Tree
[r9671] by dwarren

Eliminate tabling on non-existent predicate.

2019-10-04 13:51:46 Tree
[r9670] by dwarren

Add numbervars to make test more stable.

2019-10-04 13:50:03 Tree
[r9669] by dwarren

Cleaned up some very obscure code on passing file names to load_object_file.

2019-10-03 18:28:05 Tree
[r9668] by tswift

Added a def for use with incrementa, abstract

2019-10-02 19:56:48 Tree
[r9667] by tswift

Now supporting incremental, abstract(0)

2019-10-02 19:54:34 Tree
Older >