]> matita.cs.unibo.it Git - helm.git/history - matita/matitaGtkMisc.ml
tagging rc-1
[helm.git] / matita / matitaGtkMisc.ml
2006-10-18 Claudio Sacerdoti... Dead dialog window removed.
2006-05-09 Enrico Tassitypes2006 patch
2006-04-13 Enrico Tassito tired to write a message.
2006-04-12 Enrico Tassisome fixes for whelp macros (concerning pprint...)
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/