Get rid of space around deductions #2

Open

opened

on Oct 17, 2014

The examples in the documentation (first page) show the bounding boxes of derivations resulting from use of DeduceX. There's stray space to the left and right; try to get rid of that.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests