]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic/Makefile
initial import of standalone matitaprover binary
[helm.git] / helm / software / components / cic / Makefile
2009-06-25 Enrico Tassiinitial import of standalone matitaprover binary
2008-04-11 Enrico Tassifixed modules order
2007-02-25 Ferruccio GuidiRELATIONAL: new undecomposable definition of NLE
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/