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

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

2002-06-24	Claudio Sacerdoti...	class parameter added to the getallrdfuris method.	commit \| commitdiff \| tree \| snapshot
2002-06-24	Claudio Sacerdoti...	Bug fixed: empty elements did not ask for the size...	commit \| commitdiff \| tree \| snapshot
2002-06-24	Stefano Zacchiroli	added comment about 0 and 1 based indexes	commit \| commitdiff \| tree \| snapshot
2002-06-22	Ferruccio Guidi	mathQL and mqint updated	commit \| commitdiff \| tree \| snapshot
2002-06-22	Ferruccio Guidi	ted version of mQueryGenerator (was mquery part 2)	commit \| commitdiff \| tree \| snapshot
2002-06-22	Ferruccio Guidi	untested version of mQueryGenerator (was mquery part 2)	commit \| commitdiff \| tree \| snapshot
2002-06-22	Stefano Zacchiroli	bug fix: wrapped some possible List.{hd,tl} failures...	commit \| commitdiff \| tree \| snapshot
2002-06-19	lordi	database connection parameters updated	commit \| commitdiff \| tree \| snapshot
2002-06-19	lordi	let in scope corrected and new database format support	commit \| commitdiff \| tree \| snapshot
2002-06-19	Claudio Sacerdoti...	piecewise ==> m:piecewise	commit \| commitdiff \| tree \| snapshot
2002-06-19	Claudio Sacerdoti...	* empty log message *	commit \| commitdiff \| tree \| snapshot
2002-06-19	Claudio Sacerdoti...	Bug fixed: a sort not in normal form can now also be...	commit \| commitdiff \| tree \| snapshot
2002-06-19	Claudio Sacerdoti...	Coscoy double inner types now available also for Meta...	commit \| commitdiff \| tree \| snapshot
2002-06-18	Ferruccio Guidi	updated for the new version of mathQL.ml	commit \| commitdiff \| tree \| snapshot
2002-06-18	Ferruccio Guidi	mathQL.ml updated	commit \| commitdiff \| tree \| snapshot
2002-06-18	Claudio Sacerdoti...	Inner-types a la Coscoy now correctly generated even...	commit \| commitdiff \| tree \| snapshot
2002-06-18	Claudio Sacerdoti...	Conversion rules are now correctly handled also for...	commit \| commitdiff \| tree \| snapshot
2002-06-18	Claudio Sacerdoti...	Benchmarcking informations output.	commit \| commitdiff \| tree \| snapshot
2002-06-18	Claudio Sacerdoti...	New query implementation using LetIn.	commit \| commitdiff \| tree \| snapshot
2002-06-14	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-06-14	lordi	added type for list variables	commit \| commitdiff \| tree \| snapshot
2002-06-14	lordi	let in updated with the grammar	commit \| commitdiff \| tree \| snapshot
2002-06-13	Claudio Sacerdoti...	Names of some constructors changed.	commit \| commitdiff \| tree \| snapshot
2002-06-13	lordi	changed settings to access database	commit \| commitdiff \| tree \| snapshot
2002-06-13	lordi	let in implemented	commit \| commitdiff \| tree \| snapshot
2002-06-13	lordi	added support for let in	commit \| commitdiff \| tree \| snapshot
2002-06-13	Ferruccio Guidi	MQueryUtil updated	commit \| commitdiff \| tree \| snapshot
2002-06-12	Claudio Sacerdoti...	* syntax error fixed	commit \| commitdiff \| tree \| snapshot
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	commit \| commitdiff \| tree \| snapshot
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	commit \| commitdiff \| tree \| snapshot
2002-06-12	Claudio Sacerdoti...	* double inner types (in the sense of Coscoy) handled...	commit \| commitdiff \| tree \| snapshot
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	commit \| commitdiff \| tree \| snapshot
2002-06-12	Claudio Sacerdoti...	Abst removed from the DTD.	commit \| commitdiff \| tree \| snapshot
2002-06-11	Claudio Sacerdoti...	New: expected types (in the sense of Yann Coscoy) now...	commit \| commitdiff \| tree \| snapshot
2002-06-11	Claudio Sacerdoti...	New: expected types (in the sense of Yann Coscoy) are...	commit \| commitdiff \| tree \| snapshot
2002-06-10	Claudio Sacerdoti...	* doubleTypeInference.ml* added. For now, it just compu...	commit \| commitdiff \| tree \| snapshot
2002-06-10	Claudio Sacerdoti...	pgocaml ==> postgres	commit \| commitdiff \| tree \| snapshot
2002-06-10	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-06-10	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-06-10	Claudio Sacerdoti...	XSLT Version 0.1 ==> 1.0	commit \| commitdiff \| tree \| snapshot
2002-06-10	Claudio Sacerdoti...	XSL Version 0.1 ==> 1.0	commit \| commitdiff \| tree \| snapshot
2002-06-10	Claudio Sacerdoti...	XSL version 0.1 ==> 1.0	commit \| commitdiff \| tree \| snapshot
2002-06-10	Claudio Sacerdoti...	Syntax error.	commit \| commitdiff \| tree \| snapshot
2002-06-06	Claudio Sacerdoti...	The GET request of the method "RemoveAllPredefined...	commit \| commitdiff \| tree \| snapshot
2002-06-06	Claudio Sacerdoti...	dummy=0 was inserted in the GET part of the HTTP reques...	commit \| commitdiff \| tree \| snapshot
2002-05-31	lordi	diff and sortedby implemented	commit \| commitdiff \| tree \| snapshot
2002-05-29	Claudio Sacerdoti...	New module helm-mathql.	commit \| commitdiff \| tree \| snapshot
2002-05-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2002-05-28	Ferruccio Guidi	new MathQL syntax	commit \| commitdiff \| tree \| snapshot
2002-05-28	Claudio Sacerdoti...	* Bug fixed: syntactic equality for CIC term (which...	commit \| commitdiff \| tree \| snapshot
2002-05-28	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-05-28	Claudio Sacerdoti...	* The "backward" query has been refined considering...	commit \| commitdiff \| tree \| snapshot
2002-05-28	Claudio Sacerdoti...	* New operators (Subset, SetEqual and RVarOccurrence...	commit \| commitdiff \| tree \| snapshot
2002-05-28	Claudio Sacerdoti...	Fold must use replace with the = equality and not the...	commit \| commitdiff \| tree \| snapshot
2002-05-24	lordi	faster database format implemented	commit \| commitdiff \| tree \| snapshot
2002-05-24	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-05-24	Claudio Sacerdoti...	* Clear and ClearBody implemented, but they are bugged...	commit \| commitdiff \| tree \| snapshot
2002-05-23	lordi	intersect improved in speed	commit \| commitdiff \| tree \| snapshot
2002-05-23	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-05-22	lordi	result format changed	commit \| commitdiff \| tree \| snapshot
2002-05-22	lordi	.cvsignore improved	commit \| commitdiff \| tree \| snapshot
2002-05-22	lordi	sortedby implemented and new uri result format	commit \| commitdiff \| tree \| snapshot
2002-05-22	Ferruccio Guidi	constant string quoting was fixed	commit \| commitdiff \| tree \| snapshot
2002-05-22	Ferruccio Guidi	mathql package started	commit \| commitdiff \| tree \| snapshot
2002-05-22	Ferruccio Guidi	textual parser and other utilities for mathql	commit \| commitdiff \| tree \| snapshot
2002-05-22	Claudio Sacerdoti...	Conjectures and Hypotheses inside every conjecture...	commit \| commitdiff \| tree \| snapshot
2002-05-22	Claudio Sacerdoti...	cic2acic.mli added	commit \| commitdiff \| tree \| snapshot
2002-05-22	Claudio Sacerdoti...	delift moved from cicSubstitution to cicUnification	commit \| commitdiff \| tree \| snapshot
2002-05-22	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-05-22	Claudio Sacerdoti...	getallrdfuris implemented	commit \| commitdiff \| tree \| snapshot
2002-05-21	Ferruccio Guidi	MQRefs fixed	commit \| commitdiff \| tree \| snapshot
2002-05-21	Claudio Sacerdoti...	Two Meta occurrences where a parameter is accessible...	commit \| commitdiff \| tree \| snapshot
2002-05-21	Ferruccio Guidi	* empty log message *	commit \| commitdiff \| tree \| snapshot
2002-05-21	Claudio Sacerdoti...	Experimental commit that implements the getalluris...	commit \| commitdiff \| tree \| snapshot
2002-05-20	Ferruccio Guidi	Updated semantic notes on <pattern>	commit \| commitdiff \| tree \| snapshot
2002-05-20	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-05-20	Ferruccio Guidi	dded semantic notes on <pattern>	commit \| commitdiff \| tree \| snapshot
2002-05-20	Claudio Sacerdoti...	mathql.ml is now part of ocaml/mathql_interpreter	commit \| commitdiff \| tree \| snapshot
2002-05-20	Claudio Sacerdoti...	mquery.ml now really call the execution of the query.	commit \| commitdiff \| tree \| snapshot
2002-05-20	Claudio Sacerdoti...	Metavariables representation changed. Explicit substitu...	commit \| commitdiff \| tree \| snapshot
2002-05-20	Claudio Sacerdoti...	Next commit undone: I committed the version used only...	commit \| commitdiff \| tree \| snapshot
2002-05-20	Claudio Sacerdoti...	Explicit substitutions for metavariables introduced...	commit \| commitdiff \| tree \| snapshot
2002-05-20	Claudio Sacerdoti...	Many many improvements:	commit \| commitdiff \| tree \| snapshot
2002-05-20	Claudio Sacerdoti...	cicReductionNaif.ml was left out from the commit that...	commit \| commitdiff \| tree \| snapshot
2002-05-20	Claudio Sacerdoti...	New experimental commit: metavariables representation...	commit \| commitdiff \| tree \| snapshot
2002-05-16	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-05-14	Claudio Sacerdoti...	First very-very-very-very-alfa release of a MathQL...	commit \| commitdiff \| tree \| snapshot
2002-05-14	Stefano Zacchiroli	Erroniously included (is a debian build process temp...	commit \| commitdiff \| tree \| snapshot
2002-05-14	Stefano Zacchiroli	Release 0.1.0-1 of the deb package.	commit \| commitdiff \| tree \| snapshot
2002-05-08	Claudio Sacerdoti...	Experimental commit: definitions are now allowed in...	commit \| commitdiff \| tree \| snapshot
2002-05-08	Claudio Sacerdoti...	Experimental commit: we can now have definitions in...	commit \| commitdiff \| tree \| snapshot
2002-05-07	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-05-06	Irene Schena	Added Files:	commit \| commitdiff \| tree \| snapshot
2002-05-02	Claudio Sacerdoti...	* Slides can now also be in XHTML format	commit \| commitdiff \| tree \| snapshot
2002-05-02	Claudio Sacerdoti...	New data from DFKI about work-package leaders and PCC...	commit \| commitdiff \| tree \| snapshot
2002-05-02	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree \| snapshot
2002-04-30	Ferruccio Guidi	basic MathQL support	commit \| commitdiff \| tree \| snapshot
2002-04-29	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-04-29	Claudio Sacerdoti...	* Bug fixed: Elim did not work for principles whose...	commit \| commitdiff \| tree \| snapshot
2002-04-29	Claudio Sacerdoti...	* Error handling improved	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom