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

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

projects / helm.git / history

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

[helm.git] / helm / matita / matitaDb.ml

2005-09-27	Stefano Zacchiroli	moved list_uniq to the extlib	blob \| commitdiff \| raw
2005-09-23	Claudio Sacerdoti...	New module HMysql (to abstract over Mysql and make...	blob \| commitdiff \| raw \| diff to current
2005-07-07	Enrico Tassi	now tables are recreated if needed and mattiaclean...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	Fixed a bug that prevented the removal of the XML files...	blob \| commitdiff \| raw \| diff to current
2005-07-05	Claudio Sacerdoti...	* safe_remove exported and moved to MatitaMisc	blob \| commitdiff \| raw \| diff to current
2005-07-05	Stefano Zacchiroli	ported to new getter interface	blob \| commitdiff \| raw \| diff to current
2005-07-04	Enrico Tassi	matitaclean splitted in matitacleanLib and matitaclean.	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	first snapshot of separate compilation	blob \| commitdiff \| raw \| diff to current
2005-06-30	Enrico Tassi	matitaclean anapshot	blob \| commitdiff \| raw \| diff to current
2005-06-30	Enrico Tassi	first matitadep snapshot	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	fix_escaping	blob \| commitdiff \| raw \| diff to current
2005-05-24	Enrico Tassi	added simpl	blob \| commitdiff \| raw \| diff to current
2005-05-03	Enrico Tassi	sync with SqlStatements	blob \| commitdiff \| raw \| diff to current
2005-05-02	Enrico Tassi	added Match (partially) and sync with the count table	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	checked in new version of matita from svn	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	removed all old matita files (kept in attic)	blob \| commitdiff \| raw
2005-02-04	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-02-03	Enrico Tassi	better owner hadling	blob \| commitdiff \| raw \| diff to current

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