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

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

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
2002-05-14	Claudio Sacerdoti...	First very-very-very-very-alfa release of a MathQL...	commit \| commitdiff \| tree
2002-05-08	Claudio Sacerdoti...	Experimental commit: definitions are now allowed in...	commit \| commitdiff \| tree
2002-05-08	Claudio Sacerdoti...	Experimental commit: we can now have definitions in...	commit \| commitdiff \| tree
2002-05-02	Claudio Sacerdoti...	* Slides can now also be in XHTML format	commit \| commitdiff \| tree
2002-05-02	Claudio Sacerdoti...	New data from DFKI about work-package leaders and PCC...	commit \| commitdiff \| tree
2002-05-02	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree
2002-04-29	Claudio Sacerdoti...	* Bug fixed: Elim did not work for principles whose...	commit \| commitdiff \| tree
2002-04-29	Claudio Sacerdoti...	* Error handling improved	commit \| commitdiff \| tree
2002-04-29	Claudio Sacerdoti...	Computed inner-types are now also put in whd normal...	commit \| commitdiff \| tree
2002-04-29	Claudio Sacerdoti...	Bug fixed: the unwinding was not recursively performed...	commit \| commitdiff \| tree
2002-04-29	Claudio Sacerdoti...	META parsing was completely broken. Fixed.	commit \| commitdiff \| tree
2002-04-26	Claudio Sacerdoti...	gdome_xslt ==> gdome2-xslt	commit \| commitdiff \| tree
2002-04-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2002-04-26	Claudio Sacerdoti...	* Many improvements (expecially in exceptions handling)	commit \| commitdiff \| tree
2002-04-26	Claudio Sacerdoti...	Old and dead code from the previous implementation...	commit \| commitdiff \| tree
2002-04-26	Claudio Sacerdoti...	First (very bugged) version of cic_unification committed.	commit \| commitdiff \| tree
2002-04-26	Claudio Sacerdoti...	Bug fixed in type_of_aux (Cast case).	commit \| commitdiff \| tree
2002-04-26	Claudio Sacerdoti...	Grammar factorized to avoid shift/reduced conflicts...	commit \| commitdiff \| tree
2002-04-26	Claudio Sacerdoti...	'-' no more allowed in identifiers	commit \| commitdiff \| tree
2002-04-24	Claudio Sacerdoti...	* New implementation of Apply and Elim based on the...	commit \| commitdiff \| tree
2002-04-19	Claudio Sacerdoti...	* The interface of CicTypeChecker now allows the usage...	commit \| commitdiff \| tree
2002-04-19	Claudio Sacerdoti...	* env renamed to context everywhere in cicTypeChecker.ml	commit \| commitdiff \| tree
2002-04-19	Claudio Sacerdoti...	Bug fixed: reduction in the scratch window now works...	commit \| commitdiff \| tree
2002-04-19	Claudio Sacerdoti...	Reduction tactics in the scratch window implemented.	commit \| commitdiff \| tree
2002-04-19	Claudio Sacerdoti...	Debugging stuff removed.	commit \| commitdiff \| tree
2002-04-18	Claudio Sacerdoti...	Scratch window is now also raised (= hide + show ;...	commit \| commitdiff \| tree
2002-04-18	Claudio Sacerdoti...	* Error reporting improved	commit \| commitdiff \| tree
2002-04-18	Claudio Sacerdoti...	* Scratch window added	commit \| commitdiff \| tree
2002-04-18	Claudio Sacerdoti...	* Many improvements	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	Module Logger added.	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	type_of_aux' (to get the type of a term in a given...	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	pp exported	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	Ooops. Comments in .mly must be delimited by /* and */	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	* identifiers can now also have digits in them	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	* Many improvements	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	Added the possibility to select parts of the goal of...	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	Removed the patch to avoid a bug of gmetadom.	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	proofEngineReduction.ml added	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	* Bug fixed: applications of MutCase that are not iota...	commit \| commitdiff \| tree
2002-04-16	Claudio Sacerdoti...	Invariant enforced: no Appl of another Appl.	commit \| commitdiff \| tree
2002-04-12	Claudio Sacerdoti...	* New slides from Saarbrucken	commit \| commitdiff \| tree
2002-04-11	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree
2002-04-10	Claudio Sacerdoti...	First MOWGLI paper. Many others will follow.	commit \| commitdiff \| tree
2002-04-10	Claudio Sacerdoti...	The first MOWGLI paper. Many many others will follow.	commit \| commitdiff \| tree
2002-04-08	Claudio Sacerdoti...	During the computation of the inner-type of a LAMBDA...	commit \| commitdiff \| tree
2002-04-08	Claudio Sacerdoti...	* Many improvements	commit \| commitdiff \| tree
2002-04-08	Claudio Sacerdoti...	Declaration and Definition renamed to Decl and Def...	commit \| commitdiff \| tree
2002-04-08	Claudio Sacerdoti...	Sequent rendering improved: "=======" replaced by a...	commit \| commitdiff \| tree
2002-04-08	Claudio Sacerdoti...	1) Sequent object added.	commit \| commitdiff \| tree
2002-04-05	Claudio Sacerdoti...	* Many improvements.	commit \| commitdiff \| tree
2002-04-02	Claudio Sacerdoti...	First commit of our future proof-assistant/proof-improver...	commit \| commitdiff \| tree
2002-03-29	Claudio Sacerdoti...	gMathView.mli added	commit \| commitdiff \| tree
2002-03-28	Claudio Sacerdoti...	Electra forms added.	commit \| commitdiff \| tree
2002-03-28	Claudio Sacerdoti...	The contract is now on-line (but for an excel file...	commit \| commitdiff \| tree
2002-03-26	Claudio Sacerdoti...	The compilation of the test is restored.	commit \| commitdiff \| tree
next

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

RSS Atom