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

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

2021-02-27	Ferruccio Guidi	removing old contribs	tree \| commitdiff
2020-12-28	Ferruccio Guidi	arithmetics for λδ	tree \| commitdiff
2020-12-09	Ferruccio Guidi	λδ site update	tree \| commitdiff
2020-12-08	Ferruccio Guidi	λδ-2B and λδ-ground repackaged for publication	tree \| commitdiff
2020-12-07	Ferruccio Guidi	λδ web site update	tree \| commitdiff
2020-12-07	Ferruccio Guidi	λδ site update	tree \| commitdiff
2020-04-09	Ferruccio Guidi	update in binararies for λδ	tree \| commitdiff
2020-02-27	Ferruccio Guidi	ground_2 released and permanently renamed as ground	tree \| commitdiff
2020-02-27	Ferruccio Guidi	milestone update in ground_2 and basic_2A	tree \| commitdiff
2020-01-17	Ferruccio Guidi	update in lambdadelta	tree \| commitdiff
2020-01-10	Ferruccio Guidi	update in ground_2, static_2, basic_2	tree \| commitdiff
2020-01-06	Ferruccio Guidi	update in ground_2	tree \| commitdiff
2020-01-06	Ferruccio Guidi	update in ground_2, static_2, basic_2	tree \| commitdiff
2019-12-20	Ferruccio Guidi	web site update	tree \| commitdiff
2019-12-19	Ferruccio Guidi	updated web site	tree \| commitdiff
2019-12-14	Ferruccio Guidi	web site update	tree \| commitdiff
2019-12-11	Ferruccio Guidi	web site update	tree \| commitdiff
2019-12-09	Ferruccio Guidi	mechanizing the generation of index files for λδ web...	tree \| commitdiff
2019-12-09	Ferruccio Guidi	grundlagen web pages updated	tree \| commitdiff
2019-12-06	Ferruccio Guidi	λδ web site update	tree \| commitdiff
2019-12-02	Ferruccio Guidi	updated web site	tree \| commitdiff
2019-11-21	Ferruccio Guidi	web site update	tree \| commitdiff
2019-11-20	Ferruccio Guidi	web site update	tree \| commitdiff
2019-11-19	Ferruccio Guidi	λδ-2B is released	tree \| commitdiff
2019-10-14	Ferruccio Guidi	backport of WIP on \lambda\delta to matita 0.99.3	tree \| commitdiff
2019-10-01	Ferruccio Guidi	Merge remote-tracking branch 'origin/matita-lablgtk3'	tree \| commitdiff
2019-09-29	Ferruccio Guidi	Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo...	tree \| commitdiff
2019-09-27	Claudio Sacerdoti...	Merge branch 'declarative' into matita-lablgtk3	tree \| commitdiff
2019-09-27	Ferruccio Guidi	patches for compilation with ocaml 4.0.5	tree \| commitdiff
2019-09-18	Ferruccio Guidi	new web site page	tree \| commitdiff
2019-01-08	Ferruccio Guidi	patches for compilation with ocaml 4.0.5	tree \| commitdiff
2018-12-10	Ferruccio Guidi	web site update	tree \| commitdiff
2018-12-06	Ferruccio Guidi	web site update	tree \| commitdiff
2018-12-01	Ferruccio Guidi	web site update	tree \| commitdiff
2018-11-19	Ferruccio Guidi	supplementary files for web site	tree \| commitdiff
2018-11-19	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	tree \| commitdiff
2018-11-19	Ferruccio Guidi	some supplementary items for web site	tree \| commitdiff
2018-11-14	Ferruccio Guidi	presentation upload	tree \| commitdiff
2018-11-08	Ferruccio Guidi	update in basic_2 and in web site	tree \| commitdiff
2018-11-05	Ferruccio Guidi	update in basic_2, static_2, web site	tree \| commitdiff
2018-08-01	Ferruccio Guidi	parameter sintax added to axiom statement	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-05-07	Ferruccio Guidi	update in apps_2	tree \| commitdiff
2018-04-20	Ferruccio Guidi	notational update in ground_2 and basic_2	tree \| commitdiff
2018-04-16	Ferruccio Guidi	anniversary push	tree \| commitdiff
2018-03-12	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2018-03-02	Ferruccio Guidi	update in ground_2 and basic_2	tree \| commitdiff
2018-01-30	Ferruccio Guidi	helena: updated prolog exportation to ld3 and ALT-0/PTS	tree \| commitdiff
2018-01-13	Ferruccio Guidi	\lambda\delta web site update for git	tree \| commitdiff
2018-01-09	Ferruccio Guidi	helena: warning removed and modifications for λΥP expor...	tree \| commitdiff
2018-01-09	Ferruccio Guidi	update in helena	tree \| commitdiff
2017-12-28	Claudio Sacerdoti...	Horrible workaround	tree \| commitdiff
2017-12-28	Claudio Sacerdoti...	.depend{.opt} files changed	tree \| commitdiff
2017-12-28	Claudio Sacerdoti...	Patch to make it compile with recent OCaml	tree \| commitdiff
2017-12-28	Claudio Sacerdoti...	patch to make it compile with recent OCaml versions	tree \| commitdiff
2017-12-28	Claudio Sacerdoti...	strange bug-fix to allow compilation on recent ocaml...	tree \| commitdiff
2017-12-28	Claudio Sacerdoti...	Stupid fix to avoid new camlp5 bug with int64 literals	tree \| commitdiff
2017-12-27	Claudio Sacerdoti...	Patch to make it work with new versions of lablgtk2	tree \| commitdiff
2017-11-24	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-11-22	Ferruccio Guidi	update in basic_2 and in the corresponding web page	tree \| commitdiff
2017-11-14	Ferruccio Guidi	notational change in basic_2	tree \| commitdiff
2017-11-13	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-11-09	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-11-03	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2017-11-02	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-10-26	Ferruccio Guidi	updated colors for summary tables in the web site	tree \| commitdiff
2017-10-25	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-10-25	Ferruccio Guidi	update in basic_2 and apps_2	tree \| commitdiff
2017-10-25	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-10-23	Ferruccio Guidi	- update in basic_2	tree \| commitdiff
2017-10-17	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-10-17	Ferruccio Guidi	post milestone in basic_2	tree \| commitdiff
2017-10-16	Ferruccio Guidi	- milestone in basic_2	tree \| commitdiff
2017-10-10	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-10-10	Ferruccio Guidi	- web site update	tree \| commitdiff
2017-04-16	Ferruccio Guidi	milestone in basic_2	tree \| commitdiff
2017-04-05	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2017-04-01	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-03-16	Ferruccio Guidi	nilestone in basic_2 !	tree \| commitdiff
2017-03-16	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-03-11	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-03-09	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-03-08	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-03-06	Ferruccio Guidi	update in basic_2 and apps_2	tree \| commitdiff
2017-03-05	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-03-02	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-02-19	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-02-19	Ferruccio Guidi	milestone in basic_2	tree \| commitdiff
2017-02-19	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-02-16	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2017-02-01	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2017-01-26	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2017-01-24	Ferruccio Guidi	update in basic_2	tree \| commitdiff
2017-01-22	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2017-01-21	Ferruccio Guidi	update in basic_2 and ground_2 ...	tree \| commitdiff
2017-01-19	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2017-01-18	Ferruccio Guidi	update in basic_2 ...	tree \| commitdiff
2017-01-17	Ferruccio Guidi	milestone in basic_2!	tree \| commitdiff
2017-01-16	Ferruccio Guidi	update in ground_2 and basic_2 ...	tree \| commitdiff
next

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

RSS Atom