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	Fri, 21 Sep 2018 10:37:30 +0000 (12:37 +0200)

29 hours ago	Ferruccio Guidi	milestone in basic_2, λδ-2A reconstructed master	commit \| commitdiff \| tree \| snapshot
2 days ago	Ferruccio Guidi	update in ground_2, static_2, basic_2	commit \| commitdiff \| tree \| snapshot
3 days ago	Ferruccio Guidi	update in static_2 and basic_2	commit \| commitdiff \| tree \| snapshot
9 days ago	Ferruccio Guidi	dependences for ocaml version 4.05.0	commit \| commitdiff \| tree \| snapshot
10 days ago	Ferruccio Guidi	update in ground_2, static_2, basic_2	commit \| commitdiff \| tree \| snapshot
13 days ago	Ferruccio Guidi	update in static_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2018-09-01	Ferruccio Guidi	update in basic_2 and ground_2	commit \| commitdiff \| tree \| snapshot
2018-08-19	Ferruccio Guidi	severe bug found in parallel zeta	commit \| commitdiff \| tree \| snapshot
2018-08-18	Ferruccio Guidi	severe bug found in parallel zeta	commit \| commitdiff \| tree \| snapshot
2018-08-16	Ferruccio Guidi	severe bug found in parallel zeta	commit \| commitdiff \| tree \| snapshot
2018-08-14	Ferruccio Guidi	severe bug found in parallel zeta	commit \| commitdiff \| tree \| snapshot
2018-08-07	Ferruccio Guidi	commit in ground_2, static_2, basic_2, apps_2	commit \| commitdiff \| tree \| snapshot
2018-08-01	Ferruccio Guidi	parameter sintax added to axiom statement	commit \| commitdiff \| tree \| snapshot
2018-08-01	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2018-07-28	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2018-07-27	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
...

3 years ago	0.5.9			\| commit \| shortlog \| log
9 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
10 years ago	0.4.98			\| commit \| shortlog \| log
10 years ago	0.4.98@7921			\| commit \| shortlog \| log
10 years ago	0.4.97			\| commit \| shortlog \| log
10 years ago	0.4.97@7895			\| commit \| shortlog \| log
10 years ago	0.4.96			\| commit \| shortlog \| log
10 years ago	0.4.96@7881			\| commit \| shortlog \| log
10 years ago	0.4.95			\| commit \| shortlog \| log
10 years ago	0.4.95@7852			\| commit \| shortlog \| log
11 years ago	ocaml-http			\| commit \| shortlog \| log
12 years ago	V_0_0_7_2			\| commit \| shortlog \| log
12 years ago	V_0_0_1_2			\| commit \| shortlog \| log
12 years ago	V_0_7_2_3			\| commit \| shortlog \| log
...

29 hours ago	master	shortlog \| log \| tree
8 years ago	ng_paramodulation_CNF	shortlog \| log \| tree
10 years ago	universe-declared	shortlog \| log \| tree
10 years ago	no-baseuri	shortlog \| log \| tree
10 years ago	0.4.95	shortlog \| log \| tree
10 years ago	0.4.95@7852	shortlog \| log \| tree
12 years ago	tests	shortlog \| log \| tree
14 years ago	moogle	shortlog \| log \| tree
14 years ago	mathql_1_4	shortlog \| log \| tree
14 years ago	unlabeled-1.4.2	shortlog \| log \| tree
14 years ago	unlabeled-1.1.2	shortlog \| log \| tree
14 years ago	unlabeled-1.2.2	shortlog \| log \| tree
14 years ago	V7_3_new_exportation	shortlog \| log \| tree
15 years ago	unlabeled-1.3.2	shortlog \| log \| tree
15 years ago	start	shortlog \| log \| tree
15 years ago	init	shortlog \| log \| tree
...

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