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

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

2002-11-04	Claudio Sacerdoti...	- porting to the new theory with explicit named substitution...	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	- new fold tactic	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	- new CicTextualParser	commit \| commitdiff \| tree
2002-11-04	Claudio Sacerdoti...	New CicTextualParser: it now returns (approximately...	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Several bug-fixes:	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Bug fixed: the declared number of new goals of Apply...	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Better layout of the buttons.	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	- ElimIntrosSimpl now implemented using tacticals....	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	explicit namd substitutions introduced	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	New euristich for the unification: convertible terms...	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Metadata DTD changed.	commit \| commitdiff \| tree
2002-10-31	Claudio Sacerdoti...	Porting to the new metadata DTD.	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Undo of the previous commit (that was a mistake).	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Bug fixed in reduction/simplification of explicit named...	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Dead code removal.	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Minor interface improvement.	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	- (Partial) porting to the new theory with explicit...	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Better implementation of the trusting machinery: some...	commit \| commitdiff \| tree
2002-10-30	Claudio Sacerdoti...	Merging of the modifications of Lorenzo on the main...	commit \| commitdiff \| tree
2002-10-29	Claudio Sacerdoti...	Bugs fixed: unification were not really explicit-named...	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	Variables can also be instantiated.	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- cicParser interface changed	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- metasenv is now checked	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- parser improved: constant uris and variable uris...	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- cicParser interface simplified	commit \| commitdiff \| tree
2002-10-28	Claudio Sacerdoti...	- for/of attribute no more checked ;-(	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	New attribute @params for variables.	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	The fact that an object is trusted is now logged.	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	Cooking is no more required. Now we have explicit named...	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	cicCooking.ml* forgot in the previous commit	commit \| commitdiff \| tree
2002-10-25	Claudio Sacerdoti...	- Porting of all the code to the new DTD format (with...	commit \| commitdiff \| tree
2002-10-23	Claudio Sacerdoti...	When printing the body of a constant, the type is also...	commit \| commitdiff \| tree
2002-10-09	Claudio Sacerdoti...	Synchronization with the main branch: proofcheckerURL...	commit \| commitdiff \| tree
2002-10-09	Claudio Sacerdoti...	New DTD for the new exportation module.	commit \| commitdiff \| tree
2002-09-27	Claudio Sacerdoti...	Better handling of queries. Now both the locate and...	commit \| commitdiff \| tree
2002-09-20	Claudio Sacerdoti...	change code moved to change_tac (functional version...	commit \| commitdiff \| tree
2002-09-18	Claudio Sacerdoti...	Small code improvement.	commit \| commitdiff \| tree
2002-09-16	Claudio Sacerdoti...	List of tactics implemented and to implement (italian...	commit \| commitdiff \| tree
2002-09-13	Claudio Sacerdoti...	ring.ml* splitted into ring.ml* and tacticals.ml*	commit \| commitdiff \| tree
2002-09-13	Claudio Sacerdoti...	then_ tactical implemented (equivalent to the tclTHEN...	commit \| commitdiff \| tree
2002-09-09	Claudio Sacerdoti...	When locate is used during the lexing phase, it may...	commit \| commitdiff \| tree
2002-09-09	Claudio Sacerdoti...	Patch applied to the locate query: when used to retrieve...	commit \| commitdiff \| tree
2002-09-04	Claudio Sacerdoti...	The parser (the lexer indeed) now use the locate query...	commit \| commitdiff \| tree
2002-08-27	Claudio Sacerdoti...	Interface file created. Missing from previous commit.	commit \| commitdiff \| tree
2002-07-29	Claudio Sacerdoti...	Updated to use the new parser that creates (stacks...	commit \| commitdiff \| tree
2002-07-29	Claudio Sacerdoti...	Updated to use the new parser that creates (stacks...	commit \| commitdiff \| tree
2002-07-22	Claudio Sacerdoti...	Many improvements in tactics (and tactical) representation:	commit \| commitdiff \| tree
2002-07-22	Claudio Sacerdoti...	First version of hxsp (new version of UWOBO implemented...	commit \| commitdiff \| tree
2002-07-01	Claudio Sacerdoti...	Invariant description added.	commit \| commitdiff \| tree
2002-07-01	Claudio Sacerdoti...	Bug fixed: there is an invariant that every attributed...	commit \| commitdiff \| tree
2002-06-25	Claudio Sacerdoti...	Wrong xpointers generated. Fixed.	commit \| commitdiff \| tree
2002-06-25	Claudio Sacerdoti...	Locate query changed again. There is a mismatch between...	commit \| commitdiff \| tree
2002-06-24	Claudio Sacerdoti...	class parameter added to the getallrdfuris method.	commit \| commitdiff \| tree
2002-06-24	Claudio Sacerdoti...	Bug fixed: empty elements did not ask for the size...	commit \| commitdiff \| tree
2002-06-19	Claudio Sacerdoti...	piecewise ==> m:piecewise	commit \| commitdiff \| tree
2002-06-19	Claudio Sacerdoti...	* empty log message *	commit \| commitdiff \| tree
2002-06-19	Claudio Sacerdoti...	Bug fixed: a sort not in normal form can now also be...	commit \| commitdiff \| tree
2002-06-19	Claudio Sacerdoti...	Coscoy double inner types now available also for Meta...	commit \| commitdiff \| tree
2002-06-18	Claudio Sacerdoti...	Inner-types a la Coscoy now correctly generated even...	commit \| commitdiff \| tree
2002-06-18	Claudio Sacerdoti...	Conversion rules are now correctly handled also for...	commit \| commitdiff \| tree
2002-06-18	Claudio Sacerdoti...	Benchmarcking informations output.	commit \| commitdiff \| tree
2002-06-18	Claudio Sacerdoti...	New query implementation using LetIn.	commit \| commitdiff \| tree
2002-06-13	Claudio Sacerdoti...	Names of some constructors changed.	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* syntax error fixed	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* double inner types (in the sense of Coscoy) handled...	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	* Abst removed from the DTD	commit \| commitdiff \| tree
2002-06-12	Claudio Sacerdoti...	Abst removed from the DTD.	commit \| commitdiff \| tree
2002-06-11	Claudio Sacerdoti...	New: expected types (in the sense of Yann Coscoy) now...	commit \| commitdiff \| tree
2002-06-11	Claudio Sacerdoti...	New: expected types (in the sense of Yann Coscoy) are...	commit \| commitdiff \| tree
2002-06-10	Claudio Sacerdoti...	* doubleTypeInference.ml* added. For now, it just computes...	commit \| commitdiff \| tree
2002-06-10	Claudio Sacerdoti...	pgocaml ==> postgres	commit \| commitdiff \| tree
2002-06-10	Claudio Sacerdoti...	XSLT Version 0.1 ==> 1.0	commit \| commitdiff \| tree
2002-06-10	Claudio Sacerdoti...	XSL Version 0.1 ==> 1.0	commit \| commitdiff \| tree
2002-06-10	Claudio Sacerdoti...	XSL version 0.1 ==> 1.0	commit \| commitdiff \| tree
2002-06-10	Claudio Sacerdoti...	Syntax error.	commit \| commitdiff \| tree
2002-06-06	Claudio Sacerdoti...	The GET request of the method "RemoveAllPredefined...	commit \| commitdiff \| tree
2002-06-06	Claudio Sacerdoti...	dummy=0 was inserted in the GET part of the HTTP request...	commit \| commitdiff \| tree
2002-05-29	Claudio Sacerdoti...	New module helm-mathql.	commit \| commitdiff \| tree
2002-05-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2002-05-28	Claudio Sacerdoti...	* Bug fixed: syntactic equality for CIC term (which...	commit \| commitdiff \| tree
2002-05-28	Claudio Sacerdoti...	* The "backward" query has been refined considering...	commit \| commitdiff \| tree
2002-05-28	Claudio Sacerdoti...	* New operators (Subset, SetEqual and RVarOccurrence...	commit \| commitdiff \| tree
2002-05-28	Claudio Sacerdoti...	Fold must use replace with the = equality and not the...	commit \| commitdiff \| tree
2002-05-24	Claudio Sacerdoti...	* Clear and ClearBody implemented, but they are bugged...	commit \| commitdiff \| tree
2002-05-22	Claudio Sacerdoti...	Conjectures and Hypotheses inside every conjecture...	commit \| commitdiff \| tree
2002-05-22	Claudio Sacerdoti...	cic2acic.mli added	commit \| commitdiff \| tree
2002-05-22	Claudio Sacerdoti...	delift moved from cicSubstitution to cicUnification	commit \| commitdiff \| tree
2002-05-22	Claudio Sacerdoti...	getallrdfuris implemented	commit \| commitdiff \| tree
2002-05-21	Claudio Sacerdoti...	Two Meta occurrences where a parameter is accessible...	commit \| commitdiff \| tree
2002-05-21	Claudio Sacerdoti...	Experimental commit that implements the getalluris...	commit \| commitdiff \| tree
2002-05-20	Claudio Sacerdoti...	mathql.ml is now part of ocaml/mathql_interpreter	commit \| commitdiff \| tree
2002-05-20	Claudio Sacerdoti...	mquery.ml now really call the execution of the query.	commit \| commitdiff \| tree
2002-05-20	Claudio Sacerdoti...	Metavariables representation changed. Explicit substitutions...	commit \| commitdiff \| tree
2002-05-20	Claudio Sacerdoti...	Next commit undone: I committed the version used only...	commit \| commitdiff \| tree
2002-05-20	Claudio Sacerdoti...	Explicit substitutions for metavariables introduced...	commit \| commitdiff \| tree
2002-05-20	Claudio Sacerdoti...	Many many improvements:	commit \| commitdiff \| tree
2002-05-20	Claudio Sacerdoti...	cicReductionNaif.ml was left out from the commit that...	commit \| commitdiff \| tree
2002-05-20	Claudio Sacerdoti...	New experimental commit: metavariables representation...	commit \| commitdiff \| tree
next

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

RSS Atom