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	Tue, 14 Feb 2023 16:13:28 +0000 (17:13 +0100)

2023-02-14	Claudio Sacerdoti...	made executable again master	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Merge branch 'dune' of git+ssh://matita.cs.unibo.it... dune	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Ctr-C/break button behaviour fixed	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	new executables (ported by Ferruccio Guidi)	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	mod change (-x)	commit \| commitdiff \| tree \| snapshot
2023-02-14	Ferruccio Guidi	wip ....	commit \| commitdiff \| tree \| snapshot
2023-02-14	Ferruccio Guidi	unused componentsConf module removed	commit \| commitdiff \| tree \| snapshot
2023-02-14	Ferruccio Guidi	auxiliary executables (xoa, matitadep, probe, matex...	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	revert from camlp5o to standard syntax	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Dependency on ocaml_http replaced by ocaml_http_stubs...	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	camlp5.gramlib does not pull in camlp-streams by default	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	registry already did not depend on ocamlnet any more	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	allow ocaml >= 4.14.1	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	All previously auto-generated files from *.in committed	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	METAS removed + matita.conf.xml committed	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Bad spelling for camlzip	commit \| commitdiff \| tree \| snapshot
...

8 months ago	make_still_working	last commit before make breaks	tag	\| commit \| shortlog \| log
8 years ago	0.5.9			\| commit \| shortlog \| log
14 years ago	software			\| commit \| shortlog \| log
15 years ago	0.5.1			\| commit \| shortlog \| log
15 years ago	0.5.0-rc1			\| commit \| shortlog \| log
15 years ago	0.4.98			\| commit \| shortlog \| log
15 years ago	0.4.98@7921			\| commit \| shortlog \| log
15 years ago	0.4.97			\| commit \| shortlog \| log
15 years ago	0.4.97@7895			\| commit \| shortlog \| log
15 years ago	0.4.96			\| commit \| shortlog \| log
15 years ago	0.4.96@7881			\| commit \| shortlog \| log
15 years ago	0.4.95			\| commit \| shortlog \| log
15 years ago	0.4.95@7852			\| commit \| shortlog \| log
16 years ago	ocaml-http			\| commit \| shortlog \| log
17 years ago	V_0_0_7_2			\| commit \| shortlog \| log
17 years ago	V_0_0_1_2			\| commit \| shortlog \| log
...

7 months ago	master	shortlog \| log \| tree
7 months ago	dune	shortlog \| log \| tree
7 months ago	ocaml5	shortlog \| log \| tree
3 years ago	ld-0.99.3	shortlog \| log \| tree
3 years ago	matita-lablgtk3	shortlog \| log \| tree
14 years ago	ng_paramodulation_CNF	shortlog \| log \| tree
15 years ago	universe-declared	shortlog \| log \| tree
15 years ago	no-baseuri	shortlog \| log \| tree
15 years ago	0.4.95	shortlog \| log \| tree
15 years ago	0.4.95@7852	shortlog \| log \| tree
17 years ago	tests	shortlog \| log \| tree
19 years ago	moogle	shortlog \| log \| tree
19 years ago	mathql_1_4	shortlog \| log \| tree
19 years ago	unlabeled-1.4.2	shortlog \| log \| tree
19 years ago	unlabeled-1.1.2	shortlog \| log \| tree
19 years ago	unlabeled-1.2.2	shortlog \| log \| tree
...

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