Put two finishing hooks into one progn, as one wouldn't get called on failure
Merge pull request #15 from fairlight1337/master

Put two finishing hooks into one progn, as one wouldn't get called on fa...
[cram_reasoning] Makes Prolog unify EQUAL strings.
Merge branch 'master' of https://github.com/cram-code/cram_core
Merge pull request #16 from gaya-/master

Small fix for CRAM Prolog
copy-designator -> exported from cram-designators package
Merge pull request #17 from gheorghelisca/master

copy-designator -> exported from cram-designators package
Added new CRAM website to infos in package.xmls
0.1.1