Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9410] by tswift

Fix to ground and acyclic by making it two pass, rather than single-pass.

 2018-08-06 20:32:21 Tree
[r9409] by "kifer"

fixed typo in auxlry.h, win32
recompiled dlls

 2018-08-06 05:28:44 Tree
[r9408] by tswift

Made writeq handle cyclic terms -- before write handled cyclic terms, but not writeq.

In the process, fixed a couple of cases where write hadn't properly been handling cyclic terms.

 2018-07-18 23:22:12 Tree
[r9407] by tswift

Minor doc update.

 2018-07-08 20:56:49 Tree
[r9406] by tswift

Updated tests for WCS.

 2018-07-08 20:37:31 Tree
[r9405] by tswift

Support for WCS.

 2018-07-08 20:33:59 Tree
[r9404] by tswift

support for wcs.

 2018-07-08 20:30:10 Tree
[r9403] by tswift

Support for completion semantics.

 2018-07-08 20:29:22 Tree
[r9402] by tswift

Updated documentation for weak completion semantics.

 2018-07-08 20:25:04 Tree
[r9401] by tswift

Forgot to commit this earlier.

 2018-07-07 16:01:46 Tree
Older >
mdb logo