Versions Compared

Old Version 10

changes.mady.by.user J. Duke

Saved on

compared with

New Version 11

changes.mady.by.user J. Duke

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Implementation

... 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

...