Closed dktrkranz closed 11 years ago
Thanks Luca, the commits have been merged.
--dmg
Daniel M. German "Much of my work has come John W. Backus -> from being lazy" http://turingmachine.org/ http://silvernegative.com/ dmg (at) uvic (dot) ca replace (at) with @ and (dot) with .
Little fixes to clean some details