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	Wed, 20 Mar 2019 11:30:38 +0000 (12:30 +0100)

3 days ago	Ferruccio Guidi	update in ground_2 static_2 basic_2 master	commit \| commitdiff \| tree \| snapshot
2019-03-04	Ferruccio Guidi	first steps towards decidability of the validity predicate	commit \| commitdiff \| tree \| snapshot
2019-02-04	Ferruccio Guidi	minor corrections and updates	commit \| commitdiff \| tree \| snapshot
2019-01-01	Ferruccio Guidi	the decentralization of core notation continues ...	commit \| commitdiff \| tree \| snapshot
2018-12-20	Ferruccio Guidi	xoa utility updated	commit \| commitdiff \| tree \| snapshot
2018-12-17	Ferruccio Guidi	list of failing files updated	commit \| commitdiff \| tree \| snapshot
2018-12-10	Ferruccio Guidi	web site update	commit \| commitdiff \| tree \| snapshot
2018-12-06	Ferruccio Guidi	web site update	commit \| commitdiff \| tree \| snapshot
2018-12-01	Ferruccio Guidi	web site update	commit \| commitdiff \| tree \| snapshot
2018-11-19	Ferruccio Guidi	supplementary files for web site	commit \| commitdiff \| tree \| snapshot
2018-11-19	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	commit \| commitdiff \| tree \| snapshot
2018-11-19	Ferruccio Guidi	some supplementary items for web site	commit \| commitdiff \| tree \| snapshot
2018-11-14	Ferruccio Guidi	presentation upload	commit \| commitdiff \| tree \| snapshot
2018-11-08	Ferruccio Guidi	update in basic_2 and in web site	commit \| commitdiff \| tree \| snapshot
2018-11-06	Ferruccio Guidi	update in bsasic_2	commit \| commitdiff \| tree \| snapshot
2018-11-06	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
...

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

3 days ago	master	shortlog \| log \| tree
2 months ago	matita-lablgtk3	shortlog \| log \| tree
9 years ago	ng_paramodulation_CNF	shortlog \| log \| tree
10 years ago	universe-declared	shortlog \| log \| tree
11 years ago	no-baseuri	shortlog \| log \| tree
11 years ago	0.4.95	shortlog \| log \| tree
11 years ago	0.4.95@7852	shortlog \| log \| tree
13 years ago	tests	shortlog \| log \| tree
14 years ago	moogle	shortlog \| log \| tree
14 years ago	mathql_1_4	shortlog \| log \| tree
15 years ago	unlabeled-1.4.2	shortlog \| log \| tree
15 years ago	unlabeled-1.2.2	shortlog \| log \| tree
15 years ago	unlabeled-1.1.2	shortlog \| log \| tree
15 years ago	V7_3_new_exportation	shortlog \| log \| tree
15 years ago	unlabeled-1.3.2	shortlog \| log \| tree
16 years ago	start	shortlog \| log \| tree
...

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