changes.mady.by.user J. Duke
Saved on Mar 01, 2009
Saved on Apr 02, 2009
...
... more to come.
In the meantime some implementation details can be found in: http://www.ssw.uni-linz.ac.at/Research/Papers/Schwaighofer09Master/
There currently exist two branches