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

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

2002-09-19	Enrico Tassi	Tactic update	commit \| commitdiff \| tree \| snapshot
2002-09-18	Claudio Sacerdoti...	Small code improvement.	commit \| commitdiff \| tree \| snapshot
2002-09-18	Enrico Tassi	Tactic update	commit \| commitdiff \| tree \| snapshot
2002-09-17	Ferruccio Guidi	new query generator	commit \| commitdiff \| tree \| snapshot
2002-09-16	Claudio Sacerdoti...	List of tactics implemented and to implement (italian...	commit \| commitdiff \| tree \| snapshot
2002-09-13	Ferruccio Guidi	restricted mode to use when the database is down :)	commit \| commitdiff \| tree \| snapshot
2002-09-13	Ferruccio Guidi	query generator timing feature improved	commit \| commitdiff \| tree \| snapshot
2002-09-13	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-13	Claudio Sacerdoti...	ring.ml* splitted into ring.ml* and tacticals.ml*	commit \| commitdiff \| tree \| snapshot
2002-09-13	Claudio Sacerdoti...	then_ tactical implemented (equivalent to the tclTHEN...	commit \| commitdiff \| tree \| snapshot
2002-09-13	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-13	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree \| snapshot
2002-09-09	Claudio Sacerdoti...	When locate is used during the lexing phase, it may...	commit \| commitdiff \| tree \| snapshot
2002-09-09	Claudio Sacerdoti...	Patch applied to the locate query: when used to retriev...	commit \| commitdiff \| tree \| snapshot
2002-09-09	Enrico Tassi	Fourier tactic update	commit \| commitdiff \| tree \| snapshot
2002-09-07	Enrico Tassi	First works	commit \| commitdiff \| tree \| snapshot
2002-09-06	Irene Schena	Added Files:	commit \| commitdiff \| tree \| snapshot
2002-09-05	Ferruccio Guidi	mQueryGenerator and topLevel patched	commit \| commitdiff \| tree \| snapshot
2002-09-05	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-05	Ferruccio Guidi	some small improvements: command line sintax changed...	commit \| commitdiff \| tree \| snapshot
2002-09-05	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-09-04	Claudio Sacerdoti...	The parser (the lexer indeed) now use the locate query...	commit \| commitdiff \| tree \| snapshot
2002-09-04	Ferruccio Guidi	raw HTML markap generator	commit \| commitdiff \| tree \| snapshot
2002-09-04	Ferruccio Guidi	textual parser fixed	commit \| commitdiff \| tree \| snapshot
2002-09-04	Enrico Tassi	Fourier tactic	commit \| commitdiff \| tree \| snapshot
2002-09-03	Irene Schena	Added Files:	commit \| commitdiff \| tree \| snapshot
2002-08-30	Ferruccio Guidi	user name added to tmp file name	commit \| commitdiff \| tree \| snapshot
2002-08-29	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-08-29	Michele Galatà	Type expression simplified.	commit \| commitdiff \| tree \| snapshot
2002-08-29	Michele Galatà	Comment typo fixed.	commit \| commitdiff \| tree \| snapshot
2002-08-28	Irene Schena	Modified Files:	commit \| commitdiff \| tree \| snapshot
2002-08-28	Stefano Zacchiroli	debian release -3	commit \| commitdiff \| tree \| snapshot
2002-08-28	Stefano Zacchiroli	debian version "-8"	commit \| commitdiff \| tree \| snapshot
2002-08-28	Stefano Zacchiroli	forward compatibility changes for ocaml 3.06	commit \| commitdiff \| tree \| snapshot
2002-08-27	Claudio Sacerdoti...	Interface file created. Missing from previous commit.	commit \| commitdiff \| tree \| snapshot
2002-07-29	Claudio Sacerdoti...	Updated to use the new parser that creates (stacks...	commit \| commitdiff \| tree \| snapshot
2002-07-29	Claudio Sacerdoti...	Updated to use the new parser that creates (stacks...	commit \| commitdiff \| tree \| snapshot
2002-07-22	Claudio Sacerdoti...	Many improvements in tactics (and tactical) representation:	commit \| commitdiff \| tree \| snapshot
2002-07-22	Claudio Sacerdoti...	First version of hxsp (new version of UWOBO implemented...	commit \| commitdiff \| tree \| snapshot
2002-07-02	Stefano Zacchiroli	Added examples.	commit \| commitdiff \| tree \| snapshot
2002-07-02	Stefano Zacchiroli	converted to unix textfile (fromdos)	commit \| commitdiff \| tree \| snapshot
2002-07-02	Stefano Zacchiroli	bugfix: Ring will work again with varmaps :-)	commit \| commitdiff \| tree \| snapshot
2002-07-01	Stefano Zacchiroli	- added Ring tactic on reals	commit \| commitdiff \| tree \| snapshot
2002-07-01	Stefano Zacchiroli	bugfix that inhibit the removal of certain hypotheses	commit \| commitdiff \| tree \| snapshot
2002-07-01	Stefano Zacchiroli	bug fix: handled LetIn case in simpl	commit \| commitdiff \| tree \| snapshot
2002-07-01	Ferruccio Guidi	mathQL modified, stderr corrected to stdout im mathql_i...	commit \| commitdiff \| tree \| snapshot
2002-07-01	Claudio Sacerdoti...	Invariant description added.	commit \| commitdiff \| tree \| snapshot
2002-07-01	Claudio Sacerdoti...	Bug fixed: there is an invariant that every attributed...	commit \| commitdiff \| tree \| snapshot
2002-06-25	Claudio Sacerdoti...	Wrong xpointers generated. Fixed.	commit \| commitdiff \| tree \| snapshot
2002-06-25	Claudio Sacerdoti...	Locate query changed again. There is a mismatch between...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom