Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r7809] by dwarren

Added import of once/1 as needed for answer subsumption transformation.

 2013-10-02 13:05:09 Tree
[r7808] by pmoura

Fix bug that prevented loading a real file named "user"

 2013-09-30 21:40:55 Tree
[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
Older >
MongoDB Logo MongoDB