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

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

2009-03-10	Enrico Tassi	notation ++	commit \| commitdiff \| tree \| snapshot
2009-03-10	Andrea Asperti	A version of applyS with bounded iterations of given_cl...	commit \| commitdiff \| tree \| snapshot
2009-03-10	Andrea Asperti	Removed the context from the metasenv to avoid trivial...	commit \| commitdiff \| tree \| snapshot
2009-03-09	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-03-06	Claudio Sacerdoti...	Minor improvements in pretty-printing.	commit \| commitdiff \| tree \| snapshot
2009-03-05	Claudio Sacerdoti...	New version: only new nodes are normalized; moreover...	commit \| commitdiff \| tree \| snapshot
2009-03-03	Enrico Tassi	- fixed hint generation, more hints are generated	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	New version.	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	New version.	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	New version.	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	New version.	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	New version.	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	New version.	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	New version.	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	New version.	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	First version.	commit \| commitdiff \| tree \| snapshot
2009-03-02	Claudio Sacerdoti...	Old algorithm moved to old to leave place to the new...	commit \| commitdiff \| tree \| snapshot
2009-03-02	Ferruccio Guidi	cicInspect: node count fixed	commit \| commitdiff \| tree \| snapshot
2009-03-02	Ferruccio Guidi	uri renaming and new nodes count	commit \| commitdiff \| tree \| snapshot
2009-03-02	Ferruccio Guidi	some renaming to comply with new naming policy ...	commit \| commitdiff \| tree \| snapshot
2009-02-26	Ferruccio Guidi	cicInspect: now we can choose not to count the Cic...	commit \| commitdiff \| tree \| snapshot
2009-02-25	Ferruccio Guidi	ProceduralTeX completed and tested on the terms given...	commit \| commitdiff \| tree \| snapshot
2009-02-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-21	Ferruccio Guidi	New module for TeX rendering of procedural input/output	commit \| commitdiff \| tree \| snapshot
2009-02-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-20	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-17	Ferruccio Guidi	- Coq/preamble: missing alias added	commit \| commitdiff \| tree \| snapshot
2009-02-16	Enrico Tassi	some notational experiments	commit \| commitdiff \| tree \| snapshot
2009-02-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-15	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-15	Enrico Tassi	commented some printings	commit \| commitdiff \| tree \| snapshot
2009-02-15	Enrico Tassi	minor changes to make the library compile after wilmers...	commit \| commitdiff \| tree \| snapshot
2009-02-13	Wilmer Ricciotti	Axiomatization of real numbers (work in progress)	commit \| commitdiff \| tree \| snapshot
2009-02-12	Andrea Asperti	errata corrige.	commit \| commitdiff \| tree \| snapshot
2009-02-12	Andrea Asperti	Fixed a problem of lifting.	commit \| commitdiff \| tree \| snapshot
2009-02-11	Enrico Tassi	some work to refine objs	commit \| commitdiff \| tree \| snapshot
2009-02-11	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-09	Enrico Tassi	b:action are now considered as m:maction and thus are...	commit \| commitdiff \| tree \| snapshot
2009-02-06	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-05	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-05	Enrico Tassi	a non necessary but morally required change. The matche...	commit \| commitdiff \| tree \| snapshot
2009-02-03	Enrico Tassi	some work to speed up the system	commit \| commitdiff \| tree \| snapshot
2009-02-03	Enrico Tassi	case tactic first tries with a simple outtype and then...	commit \| commitdiff \| tree \| snapshot
2009-02-02	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-02-02	Enrico Tassi	CicTypeChecker.typecheck now takes an additional parameter:	commit \| commitdiff \| tree \| snapshot
2009-02-02	Claudio Sacerdoti...	Hmmm, going too low.	commit \| commitdiff \| tree \| snapshot
2009-02-02	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-02-01	Claudio Sacerdoti...	Towards fullness.	commit \| commitdiff \| tree \| snapshot
2009-02-01	Claudio Sacerdoti...	Renaming.	commit \| commitdiff \| tree \| snapshot
2009-02-01	Claudio Sacerdoti...	Renaming.	commit \| commitdiff \| tree \| snapshot
2009-01-30	Enrico Tassi	fix convertibility in case of application test_eq_only...	commit \| commitdiff \| tree \| snapshot
2009-01-29	Enrico Tassi	more polishing	commit \| commitdiff \| tree \| snapshot
2009-01-29	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-01-29	Enrico Tassi	application arguments are compared with test_eq_only...	commit \| commitdiff \| tree \| snapshot
2009-01-28	Enrico Tassi	some work	commit \| commitdiff \| tree \| snapshot
2009-01-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-01-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-01-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-01-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-01-27	Enrico Tassi	maction, mpadded and mstyle added to documentation	commit \| commitdiff \| tree \| snapshot
2009-01-26	Enrico Tassi	minor fixes	commit \| commitdiff \| tree \| snapshot
2009-01-26	Enrico Tassi	maction support added to notation, adopted for = AKA...	commit \| commitdiff \| tree \| snapshot
2009-01-26	Enrico Tassi	maction layout added to notation	commit \| commitdiff \| tree \| snapshot
2009-01-26	Enrico Tassi	we were generating a name for the main fix twice	commit \| commitdiff \| tree \| snapshot
2009-01-26	Enrico Tassi	added a number to identical error messages to ease...	commit \| commitdiff \| tree \| snapshot
2009-01-23	Ferruccio Guidi	OEIS sequence identifier found for P(n)	commit \| commitdiff \| tree \| snapshot
2009-01-22	Claudio Sacerdoti...	TODO	commit \| commitdiff \| tree \| snapshot
2009-01-21	Enrico Tassi	some minor fixes	commit \| commitdiff \| tree \| snapshot
2009-01-21	Enrico Tassi	a bit of work done while travelling to padova	commit \| commitdiff \| tree \| snapshot
2009-01-19	Enrico Tassi	- new notation.ma file with local and common notation	commit \| commitdiff \| tree \| snapshot
2009-01-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-01-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2009-01-19	Enrico Tassi	all pullbacks are attempted in sequence, removed many...	commit \| commitdiff \| tree \| snapshot
2009-01-18	Claudio Sacerdoti...	universe inconsistency fixed	commit \| commitdiff \| tree \| snapshot
2009-01-18	Claudio Sacerdoti...	SUBSETS_full up to universe inconsistency	commit \| commitdiff \| tree \| snapshot
2009-01-17	Claudio Sacerdoti...	faithful	commit \| commitdiff \| tree \| snapshot
2009-01-17	Claudio Sacerdoti...	CAT2	commit \| commitdiff \| tree \| snapshot
2009-01-16	Enrico Tassi	ceommented out metasenv	commit \| commitdiff \| tree \| snapshot
2009-01-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2009-01-16	Claudio Sacerdoti...	Sambin's result holds trivially since most of the field...	commit \| commitdiff \| tree \| snapshot
2009-01-16	Claudio Sacerdoti...	basic topologies are trivially o-basic topologies	commit \| commitdiff \| tree \| snapshot
2009-01-16	Claudio Sacerdoti...	1. new coercion(s) from CPropi to CProp	commit \| commitdiff \| tree \| snapshot
2009-01-15	Enrico Tassi	the new coercion behaviour (variants + composition...	commit \| commitdiff \| tree \| snapshot
2009-01-15	Enrico Tassi	added notation for 'Vdash	commit \| commitdiff \| tree \| snapshot
2009-01-15	Enrico Tassi	if the user attempts to insert a duplicate coercions...	commit \| commitdiff \| tree \| snapshot
2009-01-15	Enrico Tassi	unvariant also for coercions to funclass	commit \| commitdiff \| tree \| snapshot
2009-01-15	Enrico Tassi	- name mangling changed, added __ to separate additiona...	commit \| commitdiff \| tree \| snapshot
2009-01-15	Enrico Tassi	no more universe inconsistency printed to stderr	commit \| commitdiff \| tree \| snapshot
2009-01-15	Enrico Tassi	coercions that are marked as variant are unfolded when...	commit \| commitdiff \| tree \| snapshot
2009-01-15	Enrico Tassi	Coercions graph is printed between real types and not...	commit \| commitdiff \| tree \| snapshot
2009-01-14	Claudio Sacerdoti...	o_continous_relations are really o_relation_pair.....	commit \| commitdiff \| tree \| snapshot
2009-01-14	Claudio Sacerdoti...	o-basic_pairs are indeed examples of o-basic_topologies!	commit \| commitdiff \| tree \| snapshot
2009-01-13	Enrico Tassi	many changes regarding coercions:	commit \| commitdiff \| tree \| snapshot
2009-01-13	Claudio Sacerdoti...	- Added new output in standard C.	commit \| commitdiff \| tree \| snapshot
2009-01-12	Claudio Sacerdoti...	Some work on o-algebras towards the proof that a and...	commit \| commitdiff \| tree \| snapshot
2009-01-08	Claudio Sacerdoti...	The new coercion from SET to Type0 with higher priority...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom