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

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

2002-10-28	natile	Fun patched but works only in one direction (from the...	commit \| commitdiff \| tree
2002-10-22	natile	Switching interpreter patched, addedd:	commit \| commitdiff \| tree
2002-10-21	natile	Old modules (use.ml/mli, eval.ml/mli,...) eliminated.	commit \| commitdiff \| tree
2002-10-21	natile	Switching interpreter.	commit \| commitdiff \| tree
2002-10-21	Michele Galatà	Comments reindented.	commit \| commitdiff \| tree
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree
2002-10-21	natile	Merge of the new_mathql branch with the main branch:	commit \| commitdiff \| tree
2002-10-11	natile	Use patched.	commit \| commitdiff \| tree
2002-09-19	natile	commit of galax mathql interpreter	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