]> matita.cs.unibo.it Git - helm.git/history - matita/matitaAutoGui.ml
the order of abstraction is now correct, but there is an orrible hack to make eq_OF_e...
[helm.git] / matita / matitaAutoGui.ml
2007-05-30 Enrico Tassinow the window can be closed also using X
2007-05-29 Enrico Tassiadded pruning option in autogui
2007-05-24 Enrico Tassiauto and autogui... some work
2007-05-17 Enrico Tassiauto rewritten with only one tail recursive function.