matita.cs.unibo.it Git - helm.git/history - helm/papers/matita/matita2.tex

]> matita.cs.unibo.it Git - helm.git/history - helm/papers/matita/matita2.tex

[helm.git] / helm / papers / matita / matita2.tex

2006-01-23	Stefano Zacchiroli	- s/decompilation/cleaning/	blob \| commitdiff \| raw
2006-01-23	Stefano Zacchiroli	reviewer compilation/decompilation part	blob \| commitdiff \| raw \| diff to current
2006-01-23	Stefano Zacchiroli	completed disambiguation part	blob \| commitdiff \| raw \| diff to current
2006-01-23	Stefano Zacchiroli	labels here and there	blob \| commitdiff \| raw \| diff to current
2006-01-23	Enrico Tassi	uniformed (G\|g)etter with \GETTER	blob \| commitdiff \| raw \| diff to current
2006-01-23	Stefano Zacchiroli	- towards completion of the disambiguation section	blob \| commitdiff \| raw \| diff to current
2006-01-23	Stefano Zacchiroli	- use "sec:libmanagement" as label for compilation...	blob \| commitdiff \| raw \| diff to current
2006-01-22	Enrico Tassi	draft of compilation/decompilatio	blob \| commitdiff \| raw \| diff to current
2006-01-20	Andrea Asperti	restructuring	blob \| commitdiff \| raw \| diff to current
2006-01-20	Stefano Zacchiroli	- moved section in place according to new organization	blob \| commitdiff \| raw \| diff to current
2006-01-19	Andrea Asperti	Some work...	blob \| commitdiff \| raw \| diff to current
2006-01-18	Claudio Sacerdoti...	Aggiornato alla nuova gerarchia di moduli.	blob \| commitdiff \| raw \| diff to current
2006-01-18	Claudio Sacerdoti...	library ==> component	blob \| commitdiff \| raw \| diff to current
2006-01-18	Claudio Sacerdoti...	libraries.ps no longer in synch.	blob \| commitdiff \| raw \| diff to current
2005-12-19	Stefano Zacchiroli	upgraded dependency figures	blob \| commitdiff \| raw \| diff to current
2005-12-06	Andrea Asperti	Typos.	blob \| commitdiff \| raw \| diff to current
2005-12-06	Andrea Asperti	Minor changes.	blob \| commitdiff \| raw \| diff to current
2005-12-06	Andrea Asperti	Naming convention.	blob \| commitdiff \| raw \| diff to current
2005-12-05	Andrea Asperti	Minor changes.	blob \| commitdiff \| raw \| diff to current
2005-12-05	Andrea Asperti	Added a new section on the logical library.	blob \| commitdiff \| raw \| diff to current
2005-11-30	Stefano Zacchiroli	improved disambiguation section	blob \| commitdiff \| raw \| diff to current
2005-11-29	Andrea Asperti	Added a few bibliographic entries.	blob \| commitdiff \| raw \| diff to current
2005-11-28	Stefano Zacchiroli	first part on disambiguation passes	blob \| commitdiff \| raw \| diff to current
2005-11-25	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-11-25	Claudio Sacerdoti...	Confronto con Coq.	blob \| commitdiff \| raw \| diff to current
2005-11-25	Stefano Zacchiroli	minor changes	blob \| commitdiff \| raw \| diff to current
2005-11-25	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-11-25	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-11-25	Claudio Sacerdoti...	More on the presentation.	blob \| commitdiff \| raw \| diff to current
2005-11-25	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-11-25	Stefano Zacchiroli	dependency graphs	blob \| commitdiff \| raw \| diff to current
2005-11-25	Enrico Tassi	added tinycals and patterns subsections	blob \| commitdiff \| raw \| diff to current
2005-11-24	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-11-24	Claudio Sacerdoti...	Da capo (matita2.tex).	blob \| commitdiff \| raw \| diff to current

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

RSS Atom