]> matita.cs.unibo.it Git - helm.git/history - helm/gtkmathview-bonobo/src/persist-stream.h
Now applying ocaml transformations to sequents as well.
[helm.git] / helm / gtkmathview-bonobo / src / persist-stream.h
2003-09-13 Luca Padovani* some code cleanup
2003-09-04 pmasoudiscrollbars added & control structure screated
2003-07-31 pmasoudi* added first version of persist stream implementation...