matita.cs.unibo.it Git - helm.git/history - helm/software/matita/dist/ChangeLog

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/dist/ChangeLog

2008-07-23	Enrico Tassi	0.5.3	blob \| commitdiff \| raw
2008-07-23	Enrico Tassi	some more fixes	blob \| commitdiff \| raw \| diff to current
2008-07-23	Enrico Tassi	better UI for TeX/Unicode and terms grammar	blob \| commitdiff \| raw \| diff to current
2008-07-21	Enrico Tassi	added notes about notation	blob \| commitdiff \| raw \| diff to current
2008-07-10	Enrico Tassi	updated changelog	blob \| commitdiff \| raw \| diff to current
2008-07-02	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-05-30	Enrico Tassi	CProp hierarchy is there!	blob \| commitdiff \| raw \| diff to current
2008-05-29	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-05-27	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-05-26	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-05-26	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-05-21	Enrico Tassi	0.5.1 should be realased soon, the bug that was affecti...	blob \| commitdiff \| raw \| diff to current
2008-05-09	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2007-11-20	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2007-11-20	Enrico Tassi	opps, a changelog was already there	blob \| commitdiff \| raw \| diff to current
2006-06-13	Stefano Zacchiroli	filled README, BUGS, and other files useful for the...	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	moved (dummy) dist stuff into software/matita/	blob \| commitdiff \| raw \| diff to current

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