matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/.cvsignore

]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/.cvsignore

2004-10-29	Stefano Zacchiroli	ignore typecheck_uri{,.opt}	blob \| commitdiff \| raw
2004-04-19	Stefano Zacchiroli	ignore Makefile since now it's generated by configure	blob \| commitdiff \| raw \| diff to current
2004-02-17	Stefano Zacchiroli	fixed typo	blob \| commitdiff \| raw \| diff to current
2004-02-13	Stefano Zacchiroli	split configure.ac in two parts: ocaml and gTopLevel	blob \| commitdiff \| raw \| diff to current
2004-02-06	Stefano Zacchiroli	ignore .debug_script (used by Makefile's debug target)	blob \| commitdiff \| raw \| diff to current
2004-02-06	Stefano Zacchiroli	added testlibrary.opt and some cm****	blob \| commitdiff \| raw \| diff to current
2004-02-05	Stefano Zacchiroli	added testlibrary script	blob \| commitdiff \| raw \| diff to current
2004-01-30	Stefano Zacchiroli	added regression tests	blob \| commitdiff \| raw \| diff to current
2004-01-26	Claudio Sacerdoti...	Generated ml files added.	blob \| commitdiff \| raw \| diff to current
2003-06-20	Claudio Sacerdoti...	- script.sh added to the repository: you should change...	blob \| commitdiff \| raw \| diff to current
2002-04-16	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2002-04-08	Claudio Sacerdoti...	* Many improvements	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.