]> matita.cs.unibo.it Git - helm.git/history - helm/matita/.cvsignore
generate HTML templates using XSLT starting from a bunch of .src files
[helm.git] / helm / matita / .cvsignore
2005-01-18 Stefano Zacchirolisnapshot, notably:
2004-04-20 Stefano Zacchirolirenamed mathita to matita