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

]> matita.cs.unibo.it Git - helm.git/history - components/metadata

2006-10-02	Enrico Tassi	removed only made with the DB	tree \| commitdiff
2006-09-29	Enrico Tassi	removed a useless printing	tree \| commitdiff
2006-09-28	Claudio Sacerdoti...	Implemented topological sorting according to the depend...	tree \| commitdiff
2006-09-21	Enrico Tassi	snapshot of queries for auto+paramod	tree \| commitdiff
2006-09-04	Enrico Tassi	BIG FAT COMMIT REGARDING COERCIONS:	tree \| commitdiff
2006-08-01	Stefano Zacchiroli	- added a label_of_uri function to easily change node...	tree \| commitdiff
2006-07-20	Stefano Zacchiroli	avoid collapsing node that does not need to be, i.e.:	tree \| commitdiff
2006-07-20	Stefano Zacchiroli	bugfix: proper computation of the amount of new node...	tree \| commitdiff
2006-07-19	Stefano Zacchiroli	New module to extract from the Db direct and inverse...	tree \| commitdiff
2006-07-19	Stefano Zacchiroli	exported position_prefix (so that it can be looked...	tree \| commitdiff
2006-07-19	Stefano Zacchiroli	use double quotes around escaped URIs, single quotes...	tree \| commitdiff
2006-07-19	Stefano Zacchiroli	- added sql statements for querying forward and backwar...	tree \| commitdiff
2006-06-16	Enrico Tassi	ancient bug solved. if the term is (eq TY A B) the...	tree \| commitdiff
2006-03-15	Enrico Tassi	more work for the release	tree \| commitdiff
2006-03-13	Enrico Tassi	Huge commit for the release. Includes:	tree \| commitdiff
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	tree \| commitdiff

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