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

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

2018-07-28	Ferruccio Guidi	update in ground_2 and basic_2	tree \| commitdiff
2018-07-27	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-07-26	Ferruccio Guidi	update in basic_2 and ground_2	tree \| commitdiff
2018-07-21	Ferruccio Guidi	update in apps_2	tree \| commitdiff
2018-07-19	Ferruccio Guidi	update in functional	tree \| commitdiff
2018-07-19	Ferruccio Guidi	update in ground_2	tree \| commitdiff
2018-07-14	Ferruccio Guidi	updated xoa and predefined virtuals	tree \| commitdiff
2018-07-13	Ferruccio Guidi	update in static_2 and app_2	tree \| commitdiff
2018-07-11	Ferruccio Guidi	update in static_2 and app_2	tree \| commitdiff
2018-07-02	Ferruccio Guidi	syntactic components detached from basic_2 become static_2	tree \| commitdiff
2018-06-25	Ferruccio Guidi	renaming in basic_2	tree \| commitdiff
2018-06-23	Ferruccio Guidi	renaming	tree \| commitdiff
2018-06-12	Ferruccio Guidi	renaming in basic_2	tree \| commitdiff
2018-06-11	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	tree \| commitdiff
2018-06-11	Ferruccio Guidi	bug fix in basic_2	tree \| commitdiff
2018-06-11	Ferruccio Guidi	bug fix in basic_2	tree \| commitdiff
2018-06-11	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-06-09	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-06-08	Ferruccio Guidi	milestone update in basic_2	tree \| commitdiff
2018-06-07	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-06-06	Ferruccio Guidi	update in ground_2 and basic_2	tree \| commitdiff
2018-06-04	Ferruccio Guidi	update in ground_2 and basic_2	tree \| commitdiff
2018-05-30	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-05-29	Ferruccio Guidi	commit completed in basic_2	tree \| commitdiff
2018-05-29	Ferruccio Guidi	partial commit in basic_2	tree \| commitdiff
2018-05-25	Ferruccio Guidi	partial update update in basic_2	tree \| commitdiff
2018-05-23	Ferruccio Guidi	update in ground_2 and basic_2 (partial commit)	tree \| commitdiff
2018-05-14	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-05-12	Ferruccio Guidi	update in ground_2 and basic_2	tree \| commitdiff
2018-05-12	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-05-11	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-05-11	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-05-11	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-05-10	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-05-10	Ferruccio Guidi	update in ground_2	tree \| commitdiff
2018-05-09	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-05-09	Ferruccio Guidi	update in groud_2 and models	tree \| commitdiff
2018-05-08	Ferruccio Guidi	update in grond_2 and models	tree \| commitdiff
2018-05-07	Ferruccio Guidi	update in apps_2	tree \| commitdiff
2018-05-05	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-05-04	Ferruccio Guidi	update in ground_2 and basic_2	tree \| commitdiff
2018-05-03	Ferruccio Guidi	update in ground_2 and models	tree \| commitdiff
2018-05-03	Ferruccio Guidi	notational update in lambdadelta completed	tree \| commitdiff
2018-05-01	Ferruccio Guidi	partial notational update in ground_2 and basic_2 ....	tree \| commitdiff
2018-05-01	Ferruccio Guidi	update in models and ground_2	tree \| commitdiff
2018-04-30	Ferruccio Guidi	initial definition of λδ model	tree \| commitdiff
2018-04-27	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-04-25	Ferruccio Guidi	update in ground_2 and basic_2	tree \| commitdiff
2018-04-20	Ferruccio Guidi	notational update in ground_2 and basic_2	tree \| commitdiff
2018-04-20	Ferruccio Guidi	decentralizing core notation continues ...	tree \| commitdiff
2018-04-16	Ferruccio Guidi	update in basic_2 and ground_2	tree \| commitdiff
2018-04-16	Ferruccio Guidi	anniversary push	tree \| commitdiff
2018-04-05	Ferruccio Guidi	bug fixed in xoa generator	tree \| commitdiff
2018-03-29	Ferruccio Guidi	decentralizing core notation	tree \| commitdiff
2018-03-28	Ferruccio Guidi	milestone update in basic_2	tree \| commitdiff
2018-03-28	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-27	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-21	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-20	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-19	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-17	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-16	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-14	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-13	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-12	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-10	Ferruccio Guidi	bugfix update in basic_2	tree \| commitdiff
2018-03-09	Ferruccio Guidi	update in basic_2 + web page	tree \| commitdiff
2018-03-08	Ferruccio Guidi	long awaited update in basic_2	tree \| commitdiff
2018-03-08	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-06	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-05	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-04	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-02	Ferruccio Guidi	update in ground_2 and basic_2	tree \| commitdiff
2018-02-24	Ferruccio Guidi	advances on cpx_lfxs_conf_fle	tree \| commitdiff
2018-02-16	Ferruccio Guidi	lref case closed in cpx_lfxs_conf_fle	tree \| commitdiff
2018-02-15	Ferruccio Guidi	integrating the framework with fle ...	tree \| commitdiff
2018-02-10	Ferruccio Guidi	two cases of cpx_lfxs_conf_fle closed	tree \| commitdiff
2018-02-02	Ferruccio Guidi	xoa updated	tree \| commitdiff
2018-01-17	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-01-13	Ferruccio Guidi	update in ground_2 and basic_2	tree \| commitdiff
2018-01-09	Ferruccio Guidi	jet a change in dependences	tree \| commitdiff
2018-01-08	Ferruccio Guidi	work in progress with voids and lveq (was: the most...	tree \| commitdiff
2018-01-06	Ferruccio Guidi	update in ground_2 + \lambda\delta-related ignores	tree \| commitdiff
2018-01-05	Ferruccio Guidi	matita.basedir used consistently	tree \| commitdiff
2018-01-05	Ferruccio Guidi	updated depend files	tree \| commitdiff
2018-01-05	Ferruccio Guidi	beginning of minimalist foundation from a student of...	tree \| commitdiff
2017-12-28	Claudio Sacerdoti...	.depend{.opt} files changed	tree \| commitdiff
2017-12-04	Ferruccio Guidi	- work in progress proceeds for the new definition...	tree \| commitdiff
2017-12-01	Ferruccio Guidi	an addition for \lambda\delta	tree \| commitdiff
2017-12-01	Ferruccio Guidi	work in progress on a new definition of voids ...	tree \| commitdiff
2017-11-30	Ferruccio Guidi	the previous commit was incomplete :(	tree \| commitdiff
2017-11-30	Ferruccio Guidi	work in progress with fle ...	tree \| commitdiff
2017-11-27	Ferruccio Guidi	work in progress ...	tree \| commitdiff
2017-11-27	Ferruccio Guidi	- free variables innclusion (fle) encapsulates some...	tree \| commitdiff
2017-11-24	Ferruccio Guidi	- equivalence between lfpxs and lpxs + lfeq proved	tree \| commitdiff
2017-11-24	Ferruccio Guidi	- lpx and lpxs restored to prove equivalene between...	tree \| commitdiff
2017-11-22	Ferruccio Guidi	- equivalene of tc_lfxs and lex + lfeq proved	tree \| commitdiff
2017-11-20	Ferruccio Guidi	- ground_2: rtmap: disjointness relation	tree \| commitdiff
2017-11-17	Ferruccio Guidi	- dependences on ceq and ceq_ext fixed	tree \| commitdiff
2017-11-17	Ferruccio Guidi	former commit completed: one file was missing :(	tree \| commitdiff
next

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

RSS Atom