]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtksourceview/CHANGES
Some more progress in the proof of the (ad-hoc ?) pigeonhole principle.
[helm.git] / helm / DEVEL / lablgtksourceview / CHANGES
1
2 July 8, 2005
3   First public release (0.0.1) of LablGtkSourceView.
4