matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/LAMBDA-TYPES/depends

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/LAMBDA-TYPES/depends

2009-03-11	Ferruccio Guidi	Procedural: id tactics are not counted, ie they are...	blob \| commitdiff \| raw
2009-03-02	Ferruccio Guidi	uri renaming and new nodes count	blob \| commitdiff \| raw \| diff to current
2008-08-23	Ferruccio Guidi	Procedural: bug fix in comment generation	blob \| commitdiff \| raw \| diff to current
2008-07-21	Ferruccio Guidi	we implemented the support for generating ma files...	blob \| commitdiff \| raw \| diff to current
2008-05-27	Enrico Tassi	...	blob \| commitdiff \| raw
2008-05-27	Enrico Tassi	smarter lexer needed by lambda-delta that is splitting...	blob \| commitdiff \| raw \| diff to current
2008-02-23	Ferruccio Guidi	LAMBDA-TYPES:	blob \| commitdiff \| raw
2008-02-22	Ferruccio Guidi	- added some options to matitadep: -stdout and -exclude	blob \| commitdiff \| raw \| diff to current
2008-02-21	Ferruccio Guidi	svn:ignores fixed	blob \| commitdiff \| raw \| diff to current
2008-02-20	Ferruccio Guidi	-onepass option removed from Makefile to comile Base...	blob \| commitdiff \| raw \| diff to current
2008-02-20	Ferruccio Guidi	LambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES	blob \| commitdiff \| raw \| diff to current
2008-02-19	Ferruccio Guidi	dependences needed a fix :)	blob \| commitdiff \| raw \| diff to current
2008-02-19	Ferruccio Guidi	we are moving the devel root one dir level up	blob \| commitdiff \| raw \| diff to current

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