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

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

2010-12-03	Claudio Sacerdoti...	Back-porting from new Matita: improvement to inferred...	commit \| commitdiff \| tree
2010-12-02	Claudio Sacerdoti...	[ porting from CerCo's Matita ]	commit \| commitdiff \| tree
2010-12-02	Claudio Sacerdoti...	Bad default for ?dorefine for instantiate	commit \| commitdiff \| tree
2010-12-02	Claudio Sacerdoti...	1. new implementation of normalize to have a speed...	commit \| commitdiff \| tree
2010-12-02	Claudio Sacerdoti...	porting to new syntax	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Bug fixed: propagation of left expected parameters...	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Bug fixed: propagation of left expected parameters...	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	In the case type_of constructor with expected type...	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	In the case type_of constructor with expected type...	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-29	Claudio Sacerdoti...	Back-porting from new Matita:	commit \| commitdiff \| tree
2010-11-25	Claudio Sacerdoti...	New behaviour of fo_unif: in case of ?f args == t...	commit \| commitdiff \| tree
2010-11-23	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2010-11-22	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2010-11-22	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2010-11-17	Claudio Sacerdoti...	- stock icons restored	commit \| commitdiff \| tree
2010-11-17	Claudio Sacerdoti...	1) matita.glade ported from glade2 to glade3	commit \| commitdiff \| tree
2010-11-05	Claudio Sacerdoti...	Bug fixed: an assert false was raised before giving...	commit \| commitdiff \| tree
2010-11-05	Claudio Sacerdoti...	- bug fixed: fullpath used in place of relative path	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	Dead code removed (left from a previous commit).	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	- disk dumping of ex-lexicon commands almost implemented	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	- disambiguation code moved from matitaEngine to grafiteDisa...	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	Dependencies re-computed.	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	Minor code uniformization.	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	- further simplifications (??) of the status dependencies	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	..	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	All methods made explicit.	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	dependencies between statuses simplified	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	dependencies between statuses simplified	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	Minor code clean-up to simplify module dependencies.	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	- dependencies between statuses simplified	commit \| commitdiff \| tree
2010-11-04	Claudio Sacerdoti...	- content/interpretations.ml and ng_cic_content/nTermCicCont...	commit \| commitdiff \| tree
2010-10-29	Claudio Sacerdoti...	More parts of the lexicon status made functional.	commit \| commitdiff \| tree
2010-10-29	Claudio Sacerdoti...	Porting to new syntax.	commit \| commitdiff \| tree
2010-10-29	Claudio Sacerdoti...	Porting to new syntax.	commit \| commitdiff \| tree
2010-10-29	Claudio Sacerdoti...	Porting to new syntax.	commit \| commitdiff \| tree
2010-10-29	Claudio Sacerdoti...	Porting to intermediate syntax.	commit \| commitdiff \| tree
2010-10-29	Claudio Sacerdoti...	Bug fixed: a missing eta-expansion raised an assert...	commit \| commitdiff \| tree
2010-10-29	Claudio Sacerdoti...	WARNING: partial commit.	commit \| commitdiff \| tree
2010-10-15	Claudio Sacerdoti...	transcript removed (currently useless)	commit \| commitdiff \| tree
2010-10-15	Claudio Sacerdoti...	Polymorphic recursion no longer required!!!	commit \| commitdiff \| tree
2010-10-15	Claudio Sacerdoti...	- bug fixed (introduced by last commit from Andrea...	commit \| commitdiff \| tree
2010-10-15	Claudio Sacerdoti...	- grafiteSync no longer used	commit \| commitdiff \| tree
2010-09-30	Claudio Sacerdoti...	test to see if svn cp worked as expected	commit \| commitdiff \| tree
2010-09-30	Claudio Sacerdoti...	Stuff moved from old Matita.	commit \| commitdiff \| tree
2010-09-30	Claudio Sacerdoti...	Towards Matita 1.0 (new kernel etc. only).	commit \| commitdiff \| tree
2010-07-29	Claudio Sacerdoti...	Bug fixed: nodes were copied.	commit \| commitdiff \| tree
2010-07-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-07-23	Claudio Sacerdoti...	Some experiments on a co-inductive Heityng algebra.	commit \| commitdiff \| tree
2010-07-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-07-04	Claudio Sacerdoti...	Some important proofs/definitions were (and are still...	commit \| commitdiff \| tree
2010-07-01	Claudio Sacerdoti...	Proof simplified.	commit \| commitdiff \| tree
2010-07-01	Claudio Sacerdoti...	Proof simplified (??).	commit \| commitdiff \| tree
2010-05-06	Claudio Sacerdoti...	Bug fixed: nstatus => status (to undo the changes).	commit \| commitdiff \| tree
2010-05-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-05-06	Claudio Sacerdoti...	assert false could happen	commit \| commitdiff \| tree
2010-05-06	Claudio Sacerdoti...	Bug fixed:	commit \| commitdiff \| tree
2010-05-05	Claudio Sacerdoti...	coinduction is between us	commit \| commitdiff \| tree
2010-05-05	Claudio Sacerdoti...	First tests.	commit \| commitdiff \| tree
2010-05-04	Claudio Sacerdoti...	Regular expressions.	commit \| commitdiff \| tree
2010-04-14	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-04-14	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-04-14	Claudio Sacerdoti...	Formal points.	commit \| commitdiff \| tree
2010-04-14	Claudio Sacerdoti...	Some dualization clean-up.	commit \| commitdiff \| tree
2010-04-08	Claudio Sacerdoti...	New code (unbranched) to compute all keys by all possible...	commit \| commitdiff \| tree
2010-04-08	Claudio Sacerdoti...	New sets of.	commit \| commitdiff \| tree
2010-03-31	Claudio Sacerdoti...	Not is now inductive.	commit \| commitdiff \| tree
2010-03-31	Claudio Sacerdoti...	Use the inversion!	commit \| commitdiff \| tree
2010-03-31	Claudio Sacerdoti...	Bug fixed: the current equation is not always the last...	commit \| commitdiff \| tree
2010-03-31	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-03-31	Claudio Sacerdoti...	- inversion principles are now generated also for co...	commit \| commitdiff \| tree
2010-03-31	Claudio Sacerdoti...	More debugging info from print_tac.	commit \| commitdiff \| tree
2010-03-31	Claudio Sacerdoti...	Implicit and UserInput were printed incorrectly.	commit \| commitdiff \| tree
2010-03-31	Claudio Sacerdoti...	ninversion	commit \| commitdiff \| tree
2010-03-26	Claudio Sacerdoti...	Good definition found.	commit \| commitdiff \| tree
2010-03-26	Claudio Sacerdoti...	(Co)Inductively Generated Formal Topologies (not only...	commit \| commitdiff \| tree
2010-03-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	Nice examples for automation (that fails).	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	Simplified proof after pattern fix	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	"Not" is no longer a definition	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	The precedence of ^-1 has changed.	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	Equality has one right parameter and thus it's elimination...	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	Axioms were not indexed.	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	Axioms were not indexed.	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-03-24	Claudio Sacerdoti...	Real numbers as co-inductive streams of digits (overlapping...	commit \| commitdiff \| tree
2010-03-18	Claudio Sacerdoti...	Do not index examples (concrete syntax: nremark).	commit \| commitdiff \| tree
2010-03-18	Claudio Sacerdoti...	nremark => `Example (not to be indexed)	commit \| commitdiff \| tree
2010-03-17	Claudio Sacerdoti...	OCaml's inferred type simplified.	commit \| commitdiff \| tree
2010-03-17	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-03-16	Claudio Sacerdoti...	Comparison of two applications with a different number...	commit \| commitdiff \| tree
2010-03-16	Claudio Sacerdoti...	1) intros cleans up the cache (because the context...	commit \| commitdiff \| tree
2010-03-16	Claudio Sacerdoti...	refreshing of inferred type was missing	commit \| commitdiff \| tree
2010-03-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2010-02-15	Claudio Sacerdoti...	The height of fixpoint applications was not computed...	commit \| commitdiff \| tree
next

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

RSS Atom