krr / IDP / issues / #866 - Empty theories should entail each other — Bitbucket

Issue #866 resolved

Ingmar Dasseville created an issue 2014-12-21

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=d390b0a3f18b803fa3f0

Comments (2)

Bart Bogaerts
improved tptpprinter to work with empty theories.

See ~~#866~~

→ <<cset fc6a4a15a8da>>
- 2014-12-22T10:36:32+00:00
Bart Bogaerts
- changed status to resolved
Merged in entailment_fix (pull request #339)

improved tptpprinter to work with empty theories. Fixes ~~#866~~

→ <<cset 9f132ed38cdf>>
- 2017-11-27T10:32:26+00:00
Log in to comment

Assignee: –

Type: bug

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!