]> matita.cs.unibo.it Git - helm.git/history - helm/software/lambda-delta/automath/autProcess.ml
freescale porting
[helm.git] / helm / software / lambda-delta / automath / autProcess.ml
2009-09-15 Ferruccio Guidisome renaming. final commit for version 0.8.0
2009-09-10 Ferruccio Guidisome interfaces improved
2009-07-03 Ferruccio Guidimore static analysis on the Automath text
2009-07-03 Ferruccio Guidiwe now do some static analysis on the Automath text...