]> matita.cs.unibo.it Git - helm.git/history - helm/software/DEVEL/lablgtksourceview/README.where_is_lablgtksourceview
Added initial support for inversion principles in Matita NG.
[helm.git] / helm / software / DEVEL / lablgtksourceview / README.where_is_lablgtksourceview
2006-08-22 Stefano Zacchiroliinfo about where to find LablGtkSourceView now