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, 3 Oct 2019 15:14:08 +0000 (17:14 +0200)

10 days ago	Ferruccio Guidi	update in ground_2 and basic_2 master	commit \| commitdiff \| tree \| snapshot
12 days ago	Ferruccio Guidi	Merge remote-tracking branch 'origin/matita-lablgtk3'	commit \| commitdiff \| tree \| snapshot
13 days ago	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2019-09-29	Ferruccio Guidi	matita gtk3: some bugs fixed matita-lablgtk3	commit \| commitdiff \| tree \| snapshot
2019-09-29	Ferruccio Guidi	Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo...	commit \| commitdiff \| tree \| snapshot
2019-09-29	Ferruccio Guidi	update in static_2	commit \| commitdiff \| tree \| snapshot
2019-09-28	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2019-09-27	Claudio Sacerdoti...	debugging code removed	commit \| commitdiff \| tree \| snapshot
2019-09-27	Claudio Sacerdoti...	Merge branch 'declarative' into matita-lablgtk3	commit \| commitdiff \| tree \| snapshot
2019-09-27	Andrea Berlingieri	Change Sort.merge (deprecated) with List.merge	commit \| commitdiff \| tree \| snapshot
2019-09-27	Andrea Berlingieri	Test pretty printg of declarative tactics	commit \| commitdiff \| tree \| snapshot
2019-09-27	Andrea Berlingieri	Make 'that is equivalent to' a standalone tactic	commit \| commitdiff \| tree \| snapshot
2019-09-27	Andrea Berlingieri	Many changes	commit \| commitdiff \| tree \| snapshot
2019-09-27	Andrea Berlingieri	Fix indentation	commit \| commitdiff \| tree \| snapshot
2019-09-27	Andrea Berlingieri	Add support for proving cases in a different order	commit \| commitdiff \| tree \| snapshot
2019-09-27	Andrea Berlingieri	Add last declarative tactics, modify rewriting tactics	commit \| commitdiff \| tree \| snapshot
...

4 years ago	0.5.9			\| commit \| shortlog \| log
10 years ago	software			\| commit \| shortlog \| log
11 years ago	0.5.1			\| commit \| shortlog \| log
11 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
12 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
...

10 days ago	master	shortlog \| log \| tree
2 weeks ago	matita-lablgtk3	shortlog \| log \| tree
10 years ago	ng_paramodulation_CNF	shortlog \| log \| tree
11 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
15 years ago	moogle	shortlog \| log \| tree
15 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
16 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.