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

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

2019-10-18	Ferruccio Guidi	Merge remote-tracking branch 'origin/ld-0.99.3'	commit \| commitdiff \| tree
2019-10-14	Ferruccio Guidi	WIP on cpce ...	commit \| commitdiff \| tree
2019-10-14	Ferruccio Guidi	some added lemmas removed from auto	commit \| commitdiff \| tree
2019-10-14	Ferruccio Guidi	backport of WIP on \lambda\delta to matita 0.99.3	commit \| commitdiff \| tree
2019-09-30	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2019-09-29	Ferruccio Guidi	update in static_2	commit \| commitdiff \| tree
2019-09-28	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2019-09-23	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2019-09-18	Ferruccio Guidi	update in static_2	commit \| commitdiff \| tree
2019-09-18	Ferruccio Guidi	new web site page	commit \| commitdiff \| tree
2019-09-18	Ferruccio Guidi	update in static_2 and basic_2	commit \| commitdiff \| tree
2019-08-31	Ferruccio Guidi	update in static_2 and basic_2	commit \| commitdiff \| tree
2019-08-23	Ferruccio Guidi	update in ground_2 static_2 basic_2	commit \| commitdiff \| tree
2019-08-19	Ferruccio Guidi	still more additions and corrections for the article	commit \| commitdiff \| tree
2019-07-15	Ferruccio Guidi	additions and corrections for the article on λδ-2B	commit \| commitdiff \| tree
2019-06-02	Ferruccio Guidi	milestone in basic_2	commit \| commitdiff \| tree
2019-04-08	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2019-03-04	Ferruccio Guidi	first steps towards decidability of the validity predicate	commit \| commitdiff \| tree
2019-02-04	Ferruccio Guidi	minor corrections and updates	commit \| commitdiff \| tree
2019-01-01	Ferruccio Guidi	the decentralization of core notation continues ...	commit \| commitdiff \| tree
2018-12-17	Ferruccio Guidi	list of failing files updated	commit \| commitdiff \| tree
2018-12-10	Ferruccio Guidi	web site update	commit \| commitdiff \| tree
2018-11-19	Ferruccio Guidi	supplementary files for web site	commit \| commitdiff \| tree
2018-11-19	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	commit \| commitdiff \| tree
2018-11-19	Ferruccio Guidi	some supplementary items for web site	commit \| commitdiff \| tree
2018-11-06	Ferruccio Guidi	update in bsasic_2	commit \| commitdiff \| tree
2018-11-06	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-11-05	Ferruccio Guidi	update in basic_2, static_2, web site	commit \| commitdiff \| tree
2018-11-02	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-10-15	Ferruccio Guidi	auxiliary update in basic_2	commit \| commitdiff \| tree
2018-10-01	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-09-29	Ferruccio Guidi	update in basic_2 and apps_2	commit \| commitdiff \| tree
2018-09-13	Ferruccio Guidi	dependences for ocaml version 4.05.0	commit \| commitdiff \| tree
2018-09-08	Ferruccio Guidi	update in static_2 and basic_2	commit \| commitdiff \| tree
2018-09-01	Ferruccio Guidi	update in basic_2 and ground_2	commit \| commitdiff \| tree
2018-08-19	Ferruccio Guidi	severe bug found in parallel zeta	commit \| commitdiff \| tree
2018-08-18	Ferruccio Guidi	severe bug found in parallel zeta	commit \| commitdiff \| tree
2018-08-16	Ferruccio Guidi	severe bug found in parallel zeta	commit \| commitdiff \| tree
2018-08-14	Ferruccio Guidi	severe bug found in parallel zeta	commit \| commitdiff \| tree
2018-08-07	Ferruccio Guidi	commit in ground_2, static_2, basic_2, apps_2	commit \| commitdiff \| tree
2018-08-01	Ferruccio Guidi	parameter sintax added to axiom statement	commit \| commitdiff \| tree
2018-08-01	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2018-07-28	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2018-07-27	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-07-02	Ferruccio Guidi	syntactic components detached from basic_2 become static_2	commit \| commitdiff \| tree
2018-06-25	Ferruccio Guidi	renaming in basic_2	commit \| commitdiff \| tree
2018-06-23	Ferruccio Guidi	renaming	commit \| commitdiff \| tree
2018-06-11	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	commit \| commitdiff \| tree
2018-06-11	Ferruccio Guidi	bug fix in basic_2	commit \| commitdiff \| tree
2018-06-11	Ferruccio Guidi	bug fix in basic_2	commit \| commitdiff \| tree
2018-06-11	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-06-09	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-06-08	Ferruccio Guidi	milestone update in basic_2	commit \| commitdiff \| tree
2018-06-04	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2018-05-14	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-05-12	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2018-05-12	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-05-11	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-05-11	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-05-11	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-05-07	Ferruccio Guidi	update in apps_2	commit \| commitdiff \| tree
2018-05-05	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-05-01	Ferruccio Guidi	partial notational update in ground_2 and basic_2 ....	commit \| commitdiff \| tree
2018-05-01	Ferruccio Guidi	update in models and ground_2	commit \| commitdiff \| tree
2018-04-30	Ferruccio Guidi	initial definition of λδ model	commit \| commitdiff \| tree
2018-04-20	Ferruccio Guidi	notational update in ground_2 and basic_2	commit \| commitdiff \| tree
2018-04-20	Ferruccio Guidi	decentralizing core notation continues ...	commit \| commitdiff \| tree
2018-04-16	Ferruccio Guidi	update in basic_2 and ground_2	commit \| commitdiff \| tree
2018-03-19	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-03-17	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-03-12	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-03-10	Ferruccio Guidi	bugfix update in basic_2	commit \| commitdiff \| tree
2018-03-09	Ferruccio Guidi	update in basic_2 + web page	commit \| commitdiff \| tree
2018-03-08	Ferruccio Guidi	long awaited update in basic_2	commit \| commitdiff \| tree
2018-03-08	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-03-06	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-03-05	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-03-04	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2018-02-24	Ferruccio Guidi	advances on cpx_lfxs_conf_fle	commit \| commitdiff \| tree
2018-02-10	Ferruccio Guidi	two cases of cpx_lfxs_conf_fle closed	commit \| commitdiff \| tree
2018-01-13	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree
2018-01-08	Ferruccio Guidi	work in progress with voids and lveq (was: the most...	commit \| commitdiff \| tree
2018-01-06	Ferruccio Guidi	update in ground_2 + \lambda\delta-related ignores	commit \| commitdiff \| tree
2018-01-05	Ferruccio Guidi	matita.basedir used consistently	commit \| commitdiff \| tree
2018-01-05	Ferruccio Guidi	more files to ignore	commit \| commitdiff \| tree
2018-01-05	Ferruccio Guidi	updated depend files	commit \| commitdiff \| tree
2018-01-05	Ferruccio Guidi	beginning of minimalist foundation from a student of...	commit \| commitdiff \| tree
2017-12-04	Ferruccio Guidi	- work in progress proceeds for the new definition...	commit \| commitdiff \| tree
2017-12-01	Ferruccio Guidi	an addition for \lambda\delta	commit \| commitdiff \| tree
2017-12-01	Ferruccio Guidi	work in progress on a new definition of voids ...	commit \| commitdiff \| tree
2017-11-30	Ferruccio Guidi	the previous commit was incomplete :(	commit \| commitdiff \| tree
2017-11-30	Ferruccio Guidi	work in progress with fle ...	commit \| commitdiff \| tree
2017-11-27	Ferruccio Guidi	work in progress ...	commit \| commitdiff \| tree
2017-11-27	Ferruccio Guidi	- free variables innclusion (fle) encapsulates some...	commit \| commitdiff \| tree
2017-11-24	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree
2017-11-24	Ferruccio Guidi	- equivalence between lfpxs and lpxs + lfeq proved	commit \| commitdiff \| tree
2017-11-24	Ferruccio Guidi	- lpx and lpxs restored to prove equivalene between...	commit \| commitdiff \| tree
2017-11-22	Ferruccio Guidi	update in basic_2 and in the corresponding web page	commit \| commitdiff \| tree
2017-11-22	Ferruccio Guidi	- equivalene of tc_lfxs and lex + lfeq proved	commit \| commitdiff \| tree
2017-11-20	Ferruccio Guidi	- ground_2: rtmap: disjointness relation	commit \| commitdiff \| tree
next

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

RSS Atom