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

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

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / Makefile

2009-03-11	Ferruccio Guidi	Procedural: id tactics are not counted, ie they are...	blob \| commitdiff \| raw
2008-07-22	Ferruccio Guidi	transcript: now we can generate procedural output	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-07-12	Ferruccio Guidi	librarian: retrieval of buildable files speeded up...	blob \| commitdiff \| raw \| diff to current
2008-07-04	Ferruccio Guidi	- Procedural: bug fix in rendering the application...	blob \| commitdiff \| raw \| diff to current
2008-07-02	Ferruccio Guidi	- new tactic applyP for use in the Procedural script...	blob \| commitdiff \| raw \| diff to current
2008-07-01	Ferruccio Guidi	- lambda-delta: some speed up (not very much :) actually)	blob \| commitdiff \| raw \| diff to current
2008-06-22	Ferruccio Guidi	- grafiteParser.ml: the callback invocation was displaced	blob \| commitdiff \| raw \| diff to current
2008-06-19	Ferruccio Guidi	- Procedural: we now check that an eliminator opens...	blob \| commitdiff \| raw \| diff to current
2008-03-23	Ferruccio Guidi	cicNotationPp: fixed letin syntax (now typeless)	blob \| commitdiff \| raw \| diff to current
2008-03-22	Enrico Tassi	freescale moved under contribs. contribs made relocatable	blob \| commitdiff \| raw \| diff to current
2008-03-20	Ferruccio Guidi	Base-2 is not compiling properly and is excluded for now	blob \| commitdiff \| raw \| diff to current
2008-03-18	Ferruccio Guidi	LAMBDA-TYPES: level 2 dependences are now correct,...	blob \| commitdiff \| raw \| diff to current
2008-03-18	Ferruccio Guidi	Procedural : tentative update to the new letin cic...	blob \| commitdiff \| raw \| diff to current
2008-03-04	Ferruccio Guidi	components/library: dotdothack removed	blob \| commitdiff \| raw \| diff to current
2008-02-26	Ferruccio Guidi	LAMBDA-TYPES: added wf3 (legal context predicate);	blob \| commitdiff \| raw \| diff to current
2008-02-24	Ferruccio Guidi	$(H) added :)	blob \| commitdiff \| raw \| diff to current
2008-02-24	Ferruccio Guidi	LAMBDA-TYPES: dependences calculation improved	blob \| commitdiff \| raw \| diff to current
2008-02-23	Ferruccio Guidi	LAMBDA-TYPES:	blob \| commitdiff \| raw \| diff to current
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
2007-09-22	Ferruccio Guidi	- system flag now forks for matitadep too	blob \| commitdiff \| raw \| diff to current
2007-09-13	Ferruccio Guidi	the published devels must be removed from the tests	blob \| commitdiff \| raw \| diff to current
2007-07-26	Ferruccio Guidi	makefiles updated	blob \| commitdiff \| raw \| diff to current
2007-05-18	Ferruccio Guidi	- new devel contribs/LAMBDA-TYPES/Base-2 with the autom...	blob \| commitdiff \| raw \| diff to current
2007-02-08	Ferruccio Guidi	developments fixup	blob \| commitdiff \| raw \| diff to current
2007-02-07	Ferruccio Guidi	refactoring	blob \| commitdiff \| raw \| diff to current
2006-10-10	Ferruccio Guidi	makefiles fixups	blob \| commitdiff \| raw \| diff to current
2006-03-17	Enrico Tassi	tests are now handled with a standard Makefile that...	blob \| commitdiff \| raw
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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

RSS Atom