krr / IDP / issues / #46 - Entailment — Bitbucket

Issue #46 resolved

Bart Bogaerts created an issue 2011-12-09

Testen,

Comments (3)

Broes De Cat
- changed milestone to Later
- 2012-05-18T12:54:56+00:00
Broes De Cat
- removed milestone
Removing milestone: Later (automated comment)
- 2013-01-30T09:39:12+00:00
Broes De Cat
- changed status to resolved
In pull-request entailment.
- 2013-02-04T12:16:17+00:00
Log in to comment

Assignee: –

Type: task

Priority: major

Status: resolved

Component: Testing

Version: 2.1

Votes: 0

Watchers: 1

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