]> matita.cs.unibo.it Git - helm.git/blob - ChangeLog
2635a4b0025202e54eeac1be295dc2b60f65e2c8
[helm.git] / ChangeLog
1 * 0.3.0
2  - Upgraded to GtkMathView 3.0
3  - Now based on the gmetadom (alias gdome2) binding to GDOMe Level 2