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

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

2002-10-17	no author	This commit was manufactured by cvs2svn to create tag new_mathql_before_first_merge	commit \| commitdiff \| tree \| snapshot
2002-10-17	Ferruccio Guidi	generator patched	commit \| commitdiff \| tree \| snapshot
2002-10-15	Ferruccio Guidi	support for topLevel switch -s added	commit \| commitdiff \| tree \| snapshot
2002-10-15	Ferruccio Guidi	textual parser: caml-like comments added (not nestable)	commit \| commitdiff \| tree \| snapshot
2002-10-15	Ferruccio Guidi	query numeration added	commit \| commitdiff \| tree \| snapshot
2002-10-15	Ferruccio Guidi	added -s switch and query numeration	commit \| commitdiff \| tree \| snapshot
2002-10-10	natile	Time misurations patched.	commit \| commitdiff \| tree \| snapshot
2002-10-10	natile	Intersect patched..	commit \| commitdiff \| tree \| snapshot
2002-10-10	natile	Sub e Meet patched	commit \| commitdiff \| tree \| snapshot
2002-10-09	natile	Whithout prints.	commit \| commitdiff \| tree \| snapshot
2002-10-09	natile	Debugging better Sub and Meet.	commit \| commitdiff \| tree \| snapshot
2002-10-09	natile	Debugging Sub and Meet	commit \| commitdiff \| tree \| snapshot
2002-10-08	natile	Updating contests and time misurations	commit \| commitdiff \| tree \| snapshot
2002-10-08	Ferruccio Guidi	the db connection parameters are now parametrized istea...	commit \| commitdiff \| tree \| snapshot
2002-10-08	Ferruccio Guidi	topLevel updated for the new mqint	commit \| commitdiff \| tree \| snapshot
2002-10-08	natile	Relation ok!	commit \| commitdiff \| tree \| snapshot
2002-10-08	natile	Db connection ok!	commit \| commitdiff \| tree \| snapshot
2002-10-03	Ferruccio Guidi	mqint updated	commit \| commitdiff \| tree \| snapshot
2002-10-03	Ferruccio Guidi	toplevel updated	commit \| commitdiff \| tree \| snapshot
2002-10-03	natile	Db connection initialization	commit \| commitdiff \| tree \| snapshot
2002-10-03	natile	Db exceptions update	commit \| commitdiff \| tree \| snapshot
2002-10-02	natile	Whithout List.hd error	commit \| commitdiff \| tree \| snapshot
2002-10-01	natile	Without warning	commit \| commitdiff \| tree \| snapshot
2002-10-01	natile	Const without duplicates	commit \| commitdiff \| tree \| snapshot
2002-10-01	natile	contest file	commit \| commitdiff \| tree \| snapshot
2002-10-01	natile	New files about Sub Meet	commit \| commitdiff \| tree \| snapshot
2002-10-01	natile	After add relation.ml relation.mli	commit \| commitdiff \| tree \| snapshot
2002-10-01	natile	After Union and Relation	commit \| commitdiff \| tree \| snapshot
2002-09-25	Ferruccio Guidi	binders list specified in MathQL.Ex constructors	commit \| commitdiff \| tree \| snapshot
2002-09-25	Ferruccio Guidi	binders list added to MathQL.Ex constructor	commit \| commitdiff \| tree \| snapshot
2002-09-21	Ferruccio Guidi	new semantics for relation and attribute	commit \| commitdiff \| tree \| snapshot
2002-09-21	Ferruccio Guidi	intersect.ml cleaned	commit \| commitdiff \| tree \| snapshot
2002-09-21	Ferruccio Guidi	Generator updated for the new semantics of Relation	commit \| commitdiff \| tree \| snapshot
2002-09-20	natile	Commit of updates in intersect.ml/mli, mqint.ml, Makefile	commit \| commitdiff \| tree \| snapshot
2002-09-17	Ferruccio Guidi	new query generator	commit \| commitdiff \| tree \| snapshot
2002-09-17	Ferruccio Guidi	new toplevel with -help option instead of the Readme	commit \| commitdiff \| tree \| snapshot
2002-09-17	Ferruccio Guidi	vvar context component added	commit \| commitdiff \| tree \| snapshot
2002-09-17	no author	This commit was manufactured by cvs2svn to create branc...	commit \| commitdiff \| tree \| snapshot
2002-09-16	Ferruccio Guidi	parser and pretty printer corrected and tested	commit \| commitdiff \| tree \| snapshot
2002-09-15	Ferruccio Guidi	let-in on vvars added to mathql	commit \| commitdiff \| tree \| snapshot
2002-09-14	Ferruccio Guidi	attr_list changed in vvar_list	commit \| commitdiff \| tree \| snapshot
2002-09-13	Ferruccio Guidi	parsing and pretty printing for textual notation	commit \| commitdiff \| tree \| snapshot
2002-09-10	Ferruccio Guidi	a small correction to mathQL.ml	commit \| commitdiff \| tree \| snapshot
2002-09-10	Ferruccio Guidi	new mathql semantics	commit \| commitdiff \| tree \| snapshot
2002-09-10	no author	This commit was manufactured by cvs2svn to create branc...	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
next

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

RSS Atom