]> mj.ucw.cz Git - saga.git/commit
Cleaned up topological computations and unification.
authorMartin Mares <mj@ucw.cz>
Mon, 7 Apr 2008 14:38:20 +0000 (16:38 +0200)
committerMartin Mares <mj@ucw.cz>
Mon, 7 Apr 2008 14:38:20 +0000 (16:38 +0200)
commit4277fa92b24cbc04758c30d894249bce24790529
tree58f1b984df6718a49a44d03f027bee47f91f78c1
parentac9ff23e4520bad28cd3955e5dd0f0304b5b85f5
Cleaned up topological computations and unification.
PLAN
ram.tex