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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / software / matita / matitaWiki.ml

2009-10-05	Enrico Tassi	new ng_library module	blob \| commitdiff \| raw
2009-06-19	Claudio Sacerdoti...	Estatus finally merged into the global status using...	blob \| commitdiff \| raw \| diff to current
2009-06-19	Claudio Sacerdoti...	Useless GrafiteTypes.get_baseuri removed.	blob \| commitdiff \| raw \| diff to current
2009-06-19	Claudio Sacerdoti...	More statuses converted to objects.	blob \| commitdiff \| raw \| diff to current
2009-06-18	Claudio Sacerdoti...	1) grafiteWalker removed	blob \| commitdiff \| raw \| diff to current
2009-06-17	Claudio Sacerdoti...	Initial implementation of statuses using objects in...	blob \| commitdiff \| raw \| diff to current
2009-06-16	Claudio Sacerdoti...	FIX OF THE PREVIOUS EXPERIMENTAL COMMIT:	blob \| commitdiff \| raw \| diff to current
2009-06-15	Enrico Tassi	EXPERIMENTAL COMMIT (by CSC,actuall :-)	blob \| commitdiff \| raw \| diff to current
2009-06-15	Enrico Tassi	huge commit regarding the grafite_status:	blob \| commitdiff \| raw \| diff to current
2009-03-26	Enrico Tassi	new apply almost there	blob \| commitdiff \| raw \| diff to current
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-07-19	Claudio Sacerdoti...	map_unicode_to_tex is no longer optional and it always...	blob \| commitdiff \| raw \| diff to current
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.