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

projects / helm.git / summary

summary | shortlog | log | commit | commitdiff | tree

description	Unnamed repository; edit this file 'description' to name the repository.
owner	Claudio Sacerdoti Coen
last change	Thu, 30 Apr 2020 20:32:06 +0000 (22:32 +0200)

2020-04-30	Ferruccio Guidi	decentralized notation in lambda master	commit \| commitdiff \| tree \| snapshot
2020-04-24	Ferruccio Guidi	update in staic_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2020-04-21	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2020-04-18	Ferruccio Guidi	milestone update in basic_2, update in ground and static_2	commit \| commitdiff \| tree \| snapshot
2020-04-09	Ferruccio Guidi	update in binararies for λδ	commit \| commitdiff \| tree \| snapshot
2020-04-09	Ferruccio Guidi	renaming in basics/relations	commit \| commitdiff \| tree \| snapshot
2020-03-05	Ferruccio Guidi	update in standard library	commit \| commitdiff \| tree \| snapshot
2020-02-27	Ferruccio Guidi	ground_2 released and permanently renamed as ground	commit \| commitdiff \| tree \| snapshot
2020-02-27	Ferruccio Guidi	milestone update in ground_2 and basic_2A	commit \| commitdiff \| tree \| snapshot
2020-02-17	Ferruccio Guidi	update in binaries for λδ	commit \| commitdiff \| tree \| snapshot
2020-02-11	Ferruccio Guidi	update in binaries for λδ	commit \| commitdiff \| tree \| snapshot
2020-02-10	Ferruccio Guidi	update in binaries for λδ	commit \| commitdiff \| tree \| snapshot
2020-02-08	Ferruccio Guidi	update in binaries for λδ	commit \| commitdiff \| tree \| snapshot
2020-02-07	Ferruccio Guidi	update in binaries for λδ	commit \| commitdiff \| tree \| snapshot
2020-02-06	Ferruccio Guidi	update in binaries for λδ	commit \| commitdiff \| tree \| snapshot
2020-02-03	Ferruccio Guidi	update in binaries for λδ	commit \| commitdiff \| tree \| snapshot
...

5 years ago	0.5.9			\| commit \| shortlog \| log
11 years ago	software			\| commit \| shortlog \| log
12 years ago	0.5.1			\| commit \| shortlog \| log
12 years ago	0.5.0-rc1			\| commit \| shortlog \| log
12 years ago	0.4.98			\| commit \| shortlog \| log
12 years ago	0.4.98@7921			\| commit \| shortlog \| log
12 years ago	0.4.97			\| commit \| shortlog \| log
12 years ago	0.4.97@7895			\| commit \| shortlog \| log
12 years ago	0.4.96			\| commit \| shortlog \| log
12 years ago	0.4.96@7881			\| commit \| shortlog \| log
12 years ago	0.4.95			\| commit \| shortlog \| log
12 years ago	0.4.95@7852			\| commit \| shortlog \| log
12 years ago	ocaml-http			\| commit \| shortlog \| log
14 years ago	V_0_0_7_2			\| commit \| shortlog \| log
14 years ago	V_0_0_1_2			\| commit \| shortlog \| log
14 years ago	V_0_7_2_3			\| commit \| shortlog \| log
...

5 weeks ago	master	shortlog \| log \| tree
7 months ago	ld-0.99.3	shortlog \| log \| tree
8 months ago	matita-lablgtk3	shortlog \| log \| tree
10 years ago	ng_paramodulation_CNF	shortlog \| log \| tree
12 years ago	universe-declared	shortlog \| log \| tree
12 years ago	no-baseuri	shortlog \| log \| tree
12 years ago	0.4.95	shortlog \| log \| tree
12 years ago	0.4.95@7852	shortlog \| log \| tree
14 years ago	tests	shortlog \| log \| tree
16 years ago	moogle	shortlog \| log \| tree
16 years ago	mathql_1_4	shortlog \| log \| tree
16 years ago	unlabeled-1.4.2	shortlog \| log \| tree
16 years ago	unlabeled-1.2.2	shortlog \| log \| tree
16 years ago	unlabeled-1.1.2	shortlog \| log \| tree
16 years ago	V7_3_new_exportation	shortlog \| log \| tree
17 years ago	unlabeled-1.3.2	shortlog \| log \| tree
...

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