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-02-01	Stefano Zacchiroli	line breaking	blob \| commitdiff \| raw
2006-02-01	Stefano Zacchiroli	near to the final version ...	blob \| commitdiff \| raw \| diff to current
2006-02-01	Stefano Zacchiroli	review on csc's latest additions	blob \| commitdiff \| raw \| diff to current
2006-02-01	Claudio Sacerdoti...	Abstract and conclusions.	blob \| commitdiff \| raw \| diff to current
2006-02-01	Andrea Asperti	Snapshot	blob \| commitdiff \| raw \| diff to current
2006-02-01	Andrea Asperti	Snapshot	blob \| commitdiff \| raw \| diff to current
2006-02-01	Stefano Zacchiroli	line breaking	blob \| commitdiff \| raw \| diff to current
2006-02-01	Stefano Zacchiroli	spell checking	blob \| commitdiff \| raw \| diff to current
2006-01-31	Stefano Zacchiroli	use math mode when referencing terms from a \sequent...	blob \| commitdiff \| raw \| diff to current
2006-01-31	Claudio Sacerdoti...	community review, solved a couple of TODO	blob \| commitdiff \| raw \| diff to current
2006-01-31	Stefano Zacchiroli	/me finished reviewing ...	blob \| commitdiff \| raw \| diff to current
2006-01-31	Stefano Zacchiroli	/me reviewed section 4	blob \| commitdiff \| raw \| diff to current
2006-01-31	Stefano Zacchiroli	/me reviewed automation subsection	blob \| commitdiff \| raw \| diff to current
2006-01-31	Stefano Zacchiroli	/me reviewed section 3, here I go ...	blob \| commitdiff \| raw \| diff to current
2006-01-31	Enrico Tassi	minor fixes to ENGLISH	blob \| commitdiff \| raw \| diff to current
2006-01-31	Andrea Asperti	Added a new section on automation	blob \| commitdiff \| raw \| diff to current
2006-01-31	Stefano Zacchiroli	/me reviewed up to section 2 (included)	blob \| commitdiff \| raw \| diff to current
2006-01-31	Claudio Sacerdoti...	A new TODO.	blob \| commitdiff \| raw \| diff to current
2006-01-30	Stefano Zacchiroli	added a couple of todo items	blob \| commitdiff \| raw \| diff to current
2006-01-30	Stefano Zacchiroli	snapshot ...	blob \| commitdiff \| raw \| diff to current
2006-01-30	Claudio Sacerdoti...	Un TODO rimosso.	blob \| commitdiff \| raw \| diff to current
2006-01-30	Claudio Sacerdoti...	System section "completed".	blob \| commitdiff \| raw \| diff to current
2006-01-30	Stefano Zacchiroli	- use kluwer bibtex style for numbered references	blob \| commitdiff \| raw \| diff to current
2006-01-30	Stefano Zacchiroli	- minor corrections in the disambiguation section	blob \| commitdiff \| raw \| diff to current
2006-01-30	Enrico Tassi	CSC/Occam chain-saw/razor on tinycals and library gener...	blob \| commitdiff \| raw \| diff to current
2006-01-30	Stefano Zacchiroli	uniformed terminology used in the indexing part to...	blob \| commitdiff \| raw \| diff to current
2006-01-30	Stefano Zacchiroli	- recreated cicbrowser related screenshots	blob \| commitdiff \| raw \| diff to current
2006-01-30	Andrea Asperti	Typos	blob \| commitdiff \| raw \| diff to current
2006-01-30	Andrea Asperti	Draft of section Indexing and searching.	blob \| commitdiff \| raw \| diff to current
2006-01-30	Stefano Zacchiroli	uniformed disambiguation part	blob \| commitdiff \| raw \| diff to current
2006-01-30	Enrico Tassi	few bits for coq comparison of patterns	blob \| commitdiff \| raw \| diff to current
2006-01-28	Stefano Zacchiroli	tidied .tex	blob \| commitdiff \| raw \| diff to current
2006-01-28	Stefano Zacchiroli	tidied .tex	blob \| commitdiff \| raw \| diff to current
2006-01-27	Claudio Sacerdoti...	Cambiamenti nella parte sulla disambiguazione.	blob \| commitdiff \| raw \| diff to current
2006-01-27	Stefano Zacchiroli	- added some cicbrowser screenshot (to be better placed...	blob \| commitdiff \| raw \| diff to current
2006-01-26	Stefano Zacchiroli	spell checking	blob \| commitdiff \| raw \| diff to current
2006-01-26	Enrico Tassi	some more fixes	blob \| commitdiff \| raw \| diff to current
2006-01-26	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2006-01-26	Stefano Zacchiroli	reshaped the "authoring interface" part	blob \| commitdiff \| raw \| diff to current
2006-01-26	Stefano Zacchiroli	- added components diagram with KLOCs	blob \| commitdiff \| raw \| diff to current
2006-01-25	Claudio Sacerdoti...	6hands-introduction to the last two sections	blob \| commitdiff \| raw \| diff to current
2006-01-25	Stefano Zacchiroli	added gluing among patterns and semantic selections	blob \| commitdiff \| raw \| diff to current
2006-01-24	Stefano Zacchiroli	centered screenshots	blob \| commitdiff \| raw \| diff to current
2006-01-24	Stefano Zacchiroli	added some screenshots	blob \| commitdiff \| raw \| diff to current
2006-01-23	Stefano Zacchiroli	section re-ordering	blob \| commitdiff \| raw \| diff to current
2006-01-23	Claudio Sacerdoti...	Cenni alla disambiguazione lazy.	blob \| commitdiff \| raw \| diff to current
2006-01-23	Stefano Zacchiroli	- s/decompilation/cleaning/	blob \| commitdiff \| raw \| diff to current
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