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

]> matita.cs.unibo.it Git - helm.git/history - matita/matitaWiki.ml

2007-07-19	Claudio Sacerdoti...	map_unicode_to_tex is no longer optional and it always...	blob \| commitdiff \| raw
2007-07-06	Enrico Tassi	maxipatch for support of multiple DBs.	blob \| commitdiff \| raw \| diff to current
2007-06-01	Claudio Sacerdoti...	I do not know why, but	blob \| commitdiff \| raw \| diff to current
2007-05-17	Enrico Tassi	added a (for the moment) dummy field _subst to Proofeng...	blob \| commitdiff \| raw \| diff to current
2007-01-26	Claudio Sacerdoti...	"Warning/error/debug/infos" messages now sent on stderr.	blob \| commitdiff \| raw \| diff to current
2007-01-26	Claudio Sacerdoti...	Some changes:	blob \| commitdiff \| raw \| diff to current
2007-01-20	Claudio Sacerdoti...	Just a few lines test to understand with Cezary Kalinsk...	blob \| commitdiff \| raw \| diff to current

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