]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/.cvsignore
...
[helm.git] / helm / gTopLevel / .cvsignore
2004-10-29 Stefano Zacchiroliignore typecheck_uri{,.opt}
2004-04-19 Stefano Zacchiroliignore Makefile since now it's generated by configure
2004-02-17 Stefano Zacchirolifixed typo
2004-02-13 Stefano Zacchirolisplit configure.ac in two parts: ocaml and gTopLevel
2004-02-06 Stefano Zacchiroliignore .debug_script (used by Makefile's debug target)
2004-02-06 Stefano Zacchiroliadded testlibrary.opt and some cm****
2004-02-05 Stefano Zacchiroliadded testlibrary script
2004-01-30 Stefano Zacchiroliadded regression tests
2004-01-26 Claudio Sacerdoti... Generated ml files added.
2003-06-20 Claudio Sacerdoti... - script.sh added to the repository: you should change...
2002-04-16 Claudio Sacerdoti... ...
2002-04-08 Claudio Sacerdoti... * Many improvements