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

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

2002-12-09	natile	Now "only" constraint are more restrictive.	commit \| commitdiff \| tree
2002-12-06	natile	mQueryLevels2.mli added in Makefile.	commit \| commitdiff \| tree
2002-12-04	natile	* empty log message *	commit \| commitdiff \| tree
2002-12-03	Michele Galatà	Added new tactics: Exists, Split, Assumption, Absurd...	commit \| commitdiff \| tree
2002-11-29	natile	Now MQueryGenerator generates the query and MQueryLevels...	commit \| commitdiff \| tree
2002-11-27	natile	Relation patched, property added.	commit \| commitdiff \| tree
2002-11-22	natile	toplevel.ml patched but it doesn't compile with open...	commit \| commitdiff \| tree
2002-10-31	Michele Galatà	Added variousTactic with Constructor, Left, Right,...	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