krr / IDP / issues / #22 - Graphed output — Bitbucket

Issue #22 resolved

Bart Bogaerts created an issue 2011-12-08

Correct the output such that predform with equality, graphed functions and eqchains can be distinguished in the debug output.

Comments (2)

Stef De Pooter
- changed status to resolved
Fixes issue ~~#22~~

→ 77a820f57733
- 2011-12-19T14:02:46+00:00
Broes De Cat
Fixes issue ~~#22~~

→ 77a820f57733
- 2012-01-17T14:23:42+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!