]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/dist/configure.ac.sed
freescale porting to ng, work in progress
[helm.git] / helm / software / matita / dist / configure.ac.sed
2006-02-08 Stefano Zacchiroliinstall in /usr/local/matita/
2006-02-07 Stefano Zacchirolifill DISTRIBUTED value on dist
2006-02-03 Stefano Zacchirolion the fly generation of distribution configure.ac