Thanks David, and Jonas!
Ambrose
On Fri, Mar 16, 2012 at 7:30 AM, David Nolen wrote:
> It's been a while since we cut a core.logic release. Some small
> enhancements as well as a bug fix which was affecting Kibit,
> https://github.com/jonase/kibit/
>
> Cheers,
> David
>
>
>
> Enhancments
>
It's been a while since we cut a core.logic release. Some small
enhancements as well as a bug fix which was affecting Kibit,
https://github.com/jonase/kibit/
Cheers,
David
Enhancments
* Allow retraction of facts
Fixed
* LOGIC-32: fix unification with sets
* LOGIC-29: fix defrel bug w
