]> matita.cs.unibo.it Git - helm.git/blob - DEVEL/lablgtkmathview/ChangeLog
commented out are_convertible in is_identity
[helm.git] / DEVEL / lablgtkmathview / ChangeLog
1 * 0.4.1
2  - Upgraded to GtkMathView 0.4.[0,1]
3  
4 * 0.3.0
5  - Upgraded to GtkMathView 0.3.0
6  - Now based on the gmetadom (alias gdome2) binding to GDOMe Level 2