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

]> matita.cs.unibo.it Git - helm.git/search

2002-10-08	natile	Db connection ok!	commit \| commitdiff \| tree
2002-10-03	natile	Db connection initialization	commit \| commitdiff \| tree
2002-10-03	natile	Db exceptions update	commit \| commitdiff \| tree
2002-10-02	natile	Whithout List.hd error	commit \| commitdiff \| tree
2002-10-01	natile	Without warning	commit \| commitdiff \| tree
2002-10-01	natile	Const without duplicates	commit \| commitdiff \| tree
2002-10-01	natile	contest file	commit \| commitdiff \| tree
2002-10-01	natile	New files about Sub Meet	commit \| commitdiff \| tree
2002-10-01	natile	After add relation.ml relation.mli	commit \| commitdiff \| tree
2002-10-01	natile	After Union and Relation	commit \| commitdiff \| tree
2002-09-20	natile	Commit of updates in intersect.ml/mli, mqint.ml, Makefile	commit \| commitdiff \| tree
2002-08-29	Michele Galatà	Type expression simplified.	commit \| commitdiff \| tree
2002-08-29	Michele Galatà	Comment typo fixed.	commit \| commitdiff \| tree
2002-06-19	lordi	database connection parameters updated	commit \| commitdiff \| tree
2002-06-19	lordi	let in scope corrected and new database format support	commit \| commitdiff \| tree
2002-06-14	lordi	added type for list variables	commit \| commitdiff \| tree
2002-06-14	lordi	let in updated with the grammar	commit \| commitdiff \| tree
2002-06-13	lordi	changed settings to access database	commit \| commitdiff \| tree
2002-06-13	lordi	let in implemented	commit \| commitdiff \| tree
2002-06-13	lordi	added support for let in	commit \| commitdiff \| tree
2002-05-31	lordi	diff and sortedby implemented	commit \| commitdiff \| tree
2002-05-24	lordi	faster database format implemented	commit \| commitdiff \| tree
2002-05-23	lordi	intersect improved in speed	commit \| commitdiff \| tree
2002-05-22	lordi	result format changed	commit \| commitdiff \| tree
2002-05-22	lordi	.cvsignore improved	commit \| commitdiff \| tree
2002-05-22	lordi	sortedby implemented and new uri result format	commit \| commitdiff \| tree

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

RSS Atom