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

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

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.