]> matita.cs.unibo.it Git - helm.git/history - helm/gtkmathview-bonobo/src/control-factory.h
Now applying ocaml transformations to sequents as well.
[helm.git] / helm / gtkmathview-bonobo / src / control-factory.h
2003-09-13 Luca Padovani* some code cleanup
2003-07-17 Luca Padovani* the container seems to work now
2003-07-16 pmasoudiControl Factory modified.
2003-07-16 pmasoudipersist file with factory.
2003-07-16 Luca Padovani* changed name to control factory