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

]> matita.cs.unibo.it Git - helm.git/shortlog

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
2023-02-14	Claudio Sacerdoti...	Added dependency on caml-zip	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Added dependency on ocaml-http	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	In last commit I forgot to regenerate matita.opam :-(	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Added pcre + depenencies relaxed using >=	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Drop zip dependency (no longer used)	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Remove all traces of autoconf/automake/makefile	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	comment removed	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Install into doc the PDF and HTML manuals	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Ignore *-stamp in matita/help/C	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Manual(s) fixed and committed to avoid rebuilding them...	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Makefiles removed in favour of dune-only solution	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	added comment about version number to be manually changed	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Dune sites used to locate the standard library	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Use dune-build-info to put the version in buildTimeConf	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	componentsConf is unused (and automatically generated)	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Remove dandling symbolic links from the repository	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Use source and licence accepted by opam	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Install what is needed by Matita (but not used yet!)	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	make_table is now private (= not installed)	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	I forgot Luca among the authors!	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Enable "dune build -p matita" + version bumped to 0...	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Generated files (for dune) added to .gitignore	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Fix "dune build" for syntax_extensions	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Preliminary support for dune	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Use of standard OCaml syntax	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Worker thread killing fixed	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Ctr-C now is equivalent to pressing the Break button	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Avoid race conditions (deadlocks)	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Porting to ocaml 5	commit \| commitdiff \| tree \| snapshot
2023-02-14	Claudio Sacerdoti...	Ctr-C/break button behaviour fixed	commit \| commitdiff \| tree \| snapshot
2023-02-04	Claudio Sacerdoti...	new executables (ported by Ferruccio Guidi)	commit \| commitdiff \| tree \| snapshot
2023-02-04	Claudio Sacerdoti...	mod change (-x)	commit \| commitdiff \| tree \| snapshot
2023-01-22	Ferruccio Guidi	wip ....	commit \| commitdiff \| tree \| snapshot
2023-01-20	Ferruccio Guidi	update from master branch	commit \| commitdiff \| tree \| snapshot
2023-01-18	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2023-01-18	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2023-01-10	Ferruccio Guidi	unused componentsConf module removed	commit \| commitdiff \| tree \| snapshot
2023-01-10	Ferruccio Guidi	auxiliary executables (xoa, matitadep, probe, matex...	commit \| commitdiff \| tree \| snapshot
2023-01-05	Claudio Sacerdoti...	revert from camlp5o to standard syntax	commit \| commitdiff \| tree \| snapshot
2023-01-05	Claudio Sacerdoti...	Dependency on ocaml_http replaced by ocaml_http_stubs...	commit \| commitdiff \| tree \| snapshot
2023-01-05	Claudio Sacerdoti...	camlp5.gramlib does not pull in camlp-streams by default	commit \| commitdiff \| tree \| snapshot
2023-01-05	Claudio Sacerdoti...	registry already did not depend on ocamlnet any more	commit \| commitdiff \| tree \| snapshot
2023-01-04	Claudio Sacerdoti...	allow ocaml >= 4.14.1	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	All previously auto-generated files from *.in committed	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	METAS removed + matita.conf.xml committed	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Bad spelling for camlzip	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Added dependency on caml-zip	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Added dependency on ocaml-http	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	In last commit I forgot to regenerate matita.opam :-(	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Added pcre + depenencies relaxed using >=	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Drop zip dependency (no longer used)	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Remove all traces of autoconf/automake/makefile	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	comment removed	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Install into doc the PDF and HTML manuals	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Ignore *-stamp in matita/help/C	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Manual(s) fixed and committed to avoid rebuilding them...	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Makefiles removed in favour of dune-only solution	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	added comment about version number to be manually changed	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Dune sites used to locate the standard library	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	Use dune-build-info to put the version in buildTimeConf	commit \| commitdiff \| tree \| snapshot
2023-01-03	Claudio Sacerdoti...	componentsConf is unused (and automatically generated) make_still_working	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	Remove dandling symbolic links from the repository	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	Use source and licence accepted by opam	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	Install what is needed by Matita (but not used yet!)	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	make_table is now private (= not installed)	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	I forgot Luca among the authors!	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	Enable "dune build -p matita" + version bumped to 0...	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	Generated files (for dune) added to .gitignore	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	Fix "dune build" for syntax_extensions	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	Preliminary support for dune	commit \| commitdiff \| tree \| snapshot
2023-01-02	Claudio Sacerdoti...	Use of standard OCaml syntax	commit \| commitdiff \| tree \| snapshot
2022-12-30	Claudio Sacerdoti...	Worker thread killing fixed	commit \| commitdiff \| tree \| snapshot
2022-12-30	Claudio Sacerdoti...	Ctr-C now is equivalent to pressing the Break button	commit \| commitdiff \| tree \| snapshot
2022-12-30	Claudio Sacerdoti...	Avoid race conditions (deadlocks)	commit \| commitdiff \| tree \| snapshot
2022-12-30	Claudio Sacerdoti...	Porting to ocaml 5	commit \| commitdiff \| tree \| snapshot
2022-12-28	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-12-27	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-12-21	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-12-20	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-12-19	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-12-14	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-12-14	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-12-11	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-12-08	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-11-23	Ferruccio Guidi	wip in delayed_updating	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom