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

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

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
2002-03-25	Claudio Sacerdoti...	Links to the version with frames fixed.	commit \| commitdiff \| tree
2002-03-22	Claudio Sacerdoti...	Rendering improved.	commit \| commitdiff \| tree
2002-03-22	Claudio Sacerdoti...	Rendering improved.	commit \| commitdiff \| tree
2002-03-22	Claudio Sacerdoti...	New MOWGLI member.	commit \| commitdiff \| tree
2002-03-22	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree
2002-03-22	Claudio Sacerdoti...	Layout improved.	commit \| commitdiff \| tree
2002-03-21	Claudio Sacerdoti...	Links between the versions with and without frames.	commit \| commitdiff \| tree
2002-03-20	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree
2002-03-20	Claudio Sacerdoti...	mowgli-adm mailing list created	commit \| commitdiff \| tree
2002-03-20	Claudio Sacerdoti...	New MOWGLI member.	commit \| commitdiff \| tree
2002-03-20	Claudio Sacerdoti...	* New data	commit \| commitdiff \| tree
2002-03-20	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree
2002-03-20	Claudio Sacerdoti...	MOWGLI roles considered in people position	commit \| commitdiff \| tree
2002-03-20	Claudio Sacerdoti...	* New MOWGLI members	commit \| commitdiff \| tree
2002-03-20	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree
2002-03-19	Claudio Sacerdoti...	New: Minutes of the kick-off	commit \| commitdiff \| tree
2002-03-19	Claudio Sacerdoti...	People in the "by site" list are now sorted alphabetically.	commit \| commitdiff \| tree
2002-03-19	Claudio Sacerdoti...	* Some documents were not valid	commit \| commitdiff \| tree
2002-03-18	Claudio Sacerdoti...	* Work Package Leaders added (and rendered)	commit \| commitdiff \| tree
2002-03-13	Claudio Sacerdoti...	The contract was the proposal!!!	commit \| commitdiff \| tree
2002-03-13	Claudio Sacerdoti...	Data refined.	commit \| commitdiff \| tree
2002-03-12	Claudio Sacerdoti...	Initial version.	commit \| commitdiff \| tree
2002-03-12	Claudio Sacerdoti...	* Linking was still static for native compilation.	commit \| commitdiff \| tree
2002-03-12	Claudio Sacerdoti...	Data refined.	commit \| commitdiff \| tree
2002-03-12	Claudio Sacerdoti...	More data.	commit \| commitdiff \| tree
2002-03-12	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree
2002-03-12	Claudio Sacerdoti...	New Data (operative commencement date).	commit \| commitdiff \| tree
2002-03-12	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	Goguadze added.	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	New sources by Paul Libbrecht. From these sources it...	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	Link to Paul's new MOWGLI page added.	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	Not well-formed XML.	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	Paul Libbrecht added.	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	New data.	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	Markus Moschner (DFKI) added.	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	Markus Moschner (DFKI) added.	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	A much better PDF file contributed by Paul Libbrecht.	commit \| commitdiff \| tree
2002-03-11	Claudio Sacerdoti...	Link to ActiveMath added.	commit \| commitdiff \| tree
2002-03-08	Claudio Sacerdoti...	loadDocumentFrom* and saveDocument interface changed	commit \| commitdiff \| tree
2002-03-06	Claudio Sacerdoti...	-rpath used to record the path to use to search for...	commit \| commitdiff \| tree
2002-03-06	Claudio Sacerdoti...	The .so file was not moved into the temporary installation...	commit \| commitdiff \| tree
2002-03-06	Claudio Sacerdoti...	Dynamic loading of C code enabled.	commit \| commitdiff \| tree
2002-03-06	Claudio Sacerdoti...	* New data	commit \| commitdiff \| tree
2002-03-06	Claudio Sacerdoti...	Agenda detailed.	commit \| commitdiff \| tree
2002-03-05	Claudio Sacerdoti...	Date mistake.	commit \| commitdiff \| tree
2002-03-05	Claudio Sacerdoti...	Forgotten links; better link names.	commit \| commitdiff \| tree
2002-03-05	Claudio Sacerdoti...	New data (Calculemus)	commit \| commitdiff \| tree
2002-03-01	Claudio Sacerdoti...	Name still mispelled ;-\|	commit \| commitdiff \| tree
2002-03-01	Claudio Sacerdoti...	Name mispelled.	commit \| commitdiff \| tree
2002-02-27	Claudio Sacerdoti...	lablgnome.cm[x]a added to the META file.	commit \| commitdiff \| tree
2002-02-27	Claudio Sacerdoti...	* Preliminary porting to ocaml-3.04 and to gdome completed.	commit \| commitdiff \| tree
2002-02-27	Claudio Sacerdoti...	Mispelled name.	commit \| commitdiff \| tree
2002-02-26	Claudio Sacerdoti...	More conferences.	commit \| commitdiff \| tree
next

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

RSS Atom