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

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

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

2005-11-18	Enrico Tassi	some more on tinycals	blob \| commitdiff \| raw
2005-11-18	Enrico Tassi	added more on tinycals	blob \| commitdiff \| raw \| diff to current
2005-11-18	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-11-17	Enrico Tassi	aded a prototype of chtting aboit tacticals	blob \| commitdiff \| raw \| diff to current
2005-11-17	Stefano Zacchiroli	filled disambiguation algorithm section	blob \| commitdiff \| raw \| diff to current
2005-11-17	Enrico Tassi	matita.tex	blob \| commitdiff \| raw \| diff to current
2005-11-17	Stefano Zacchiroli	followed kluwer guidelines	blob \| commitdiff \| raw \| diff to current
2005-11-17	Claudio Sacerdoti...	Inizio stesura parte su "libreria tutta visibile".	blob \| commitdiff \| raw \| diff to current
2005-11-17	Stefano Zacchiroli	ported to kluwer style	blob \| commitdiff \| raw \| diff to current
2005-11-17	Enrico Tassi	fixed some stuff in the patterns section	blob \| commitdiff \| raw \| diff to current
2005-11-17	Enrico Tassi	fixed some stuff in pattern section	blob \| commitdiff \| raw \| diff to current
2005-11-16	Enrico Tassi	added first draft for patterns	blob \| commitdiff \| raw \| diff to current
2005-11-16	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2005-11-16	Stefano Zacchiroli	- begin{grafite} environment for script snippets	blob \| commitdiff \| raw \| diff to current
2005-11-15	Stefano Zacchiroli	added content level ref	blob \| commitdiff \| raw \| diff to current
2005-11-15	Stefano Zacchiroli	- draft of the first part of disambiguation subsection	blob \| commitdiff \| raw \| diff to current
2005-11-15	Stefano Zacchiroli	cic concrete syntax (w/o notation)	blob \| commitdiff \| raw \| diff to current
2005-11-15	Stefano Zacchiroli	tex macros, checked in disambiguation section from...	blob \| commitdiff \| raw \| diff to current
2005-11-14	Andrea Asperti	Introduction, again.:	blob \| commitdiff \| raw \| diff to current
2005-11-14	Andrea Asperti	Introduction (partial).	blob \| commitdiff \| raw \| diff to current
2005-11-14	Andrea Asperti	Introduction.	blob \| commitdiff \| raw \| diff to current
2005-11-10	Stefano Zacchiroli	paper skeleton	blob \| commitdiff \| raw \| diff to current
2005-11-10	Andrea Asperti	typos	blob \| commitdiff \| raw \| diff to current
2005-11-10	Andrea Asperti	Headings of the matita paper.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom