Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7807] by dwarren

Increased precision of printing (in write_canonical) of 64-bit floats.

 2013-09-24 16:23:00 Tree
[r7806] by dwarren

Changed long to int, so it will be 32-bits for both MSVC and GCC 64-bits.

 2013-09-24 16:21:48 Tree
[r7805] by tswift

Change to allow forest logging at different levels.

 2013-09-11 19:47:30 Tree
[r7804] by tswift

Changes to allow forest logging at different levels.

 2013-09-11 19:44:51 Tree
[r7803] by tswift

Updated version in vol 2.

 2013-09-11 19:37:06 Tree
[r7802] by tswift

updated version number in manual.

 2013-09-11 19:26:14 Tree
[r7801] by tswift

test of commit.

 2013-09-11 19:14:41 Tree
[r7800] by dwarren

Fixed typo in comment;
Reduced number of read-canonical errors until aborting processing to 5
Added processing of ?- commands.

 2013-09-06 13:37:03 Tree
[r7799] by dwarren

Fixed test for building trace to correctly check pflags[BACKTRACE] (and
not flags[BACKTRACE]).

 2013-09-04 19:38:27 Tree
[r7798] by dwarren

Added import of findall/3 in compilation of answer subsumption.

 2013-09-03 21:26:54 Tree
Older >
MongoDB Logo MongoDB