krr / IDP / issues / #176 - Specifying the unknowns — Bitbucket

Issue #176 resolved

Bart Bogaerts created an issue 2012-05-24

Todo: test with a structure-specification of the form

P <ct> = ...

P <u > = ...

Comments (2)

Bart Bogaerts reporter
- changed status to resolved
fixes ~~#176~~. Created a test, seems to be working

→ e2660519fdbb
- 2012-05-24T10:11:26+00:00
Broes De Cat
- removed milestone
Removing milestone: Second Release (automated comment)
- 2013-01-30T09:36:53+00:00
Log in to comment

Assignee: –

Type: task

Priority: major

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

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