projects / helm.git / search
| 2009-06-05 | denes | Fix : wrong exception was catch in apply_subst |
commit | commitdiff | tree |
| 2009-06-04 | denes | First pretty printing functions |
commit | commitdiff | tree |
| 2009-06-01 | denes | First implementation of unification on foterms |
commit | commitdiff | tree |
| 2009-06-01 | denes | First functions on substitutions for unification |
commit | commitdiff | tree |