search

UU-ComputerScience / uhc

136 stars 21 forks source link

Remove ANormal workaround, update doc #50

Closed phile314 closed 9 years ago

phile314 commented 9 years ago

ANormal bug fix works for all my examples, removed the work around.

Some small doc changes.

phile314 commented 9 years ago

@atzedijkstra Any thoughts on this pull request?