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

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

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-01-18	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2023-01-18	Ferruccio Guidi	update in ground	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
2022-11-17	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-11-14	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-11-13	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-11-12	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-11-06	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-11-06	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-11-02	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-10-26	Ferruccio Guidi	update in predefined_virtuals	commit \| commitdiff \| tree \| snapshot
2022-10-26	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-10-25	Ferruccio Guidi	update in delayed_updating and ground	commit \| commitdiff \| tree \| snapshot
2022-09-11	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-09-08	Ferruccio Guidi	partial update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-09-07	Ferruccio Guidi	update in ground and delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-09-04	Ferruccio Guidi	update in delayd_updating	commit \| commitdiff \| tree \| snapshot
2022-09-04	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-08-23	Ferruccio Guidi	update in static_2	commit \| commitdiff \| tree \| snapshot
2022-08-23	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-08-21	Ferruccio Guidi	addition to predefined virtuals	commit \| commitdiff \| tree \| snapshot
2022-08-21	Ferruccio Guidi	partial update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-08-14	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-08-09	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	commit \| commitdiff \| tree \| snapshot
2022-08-09	Ferruccio Guidi	commit in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-08-07	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-08-07	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-08-06	Ferruccio Guidi	partial commit in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-07-13	Ferruccio Guidi	partial commit in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-07-06	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	commit \| commitdiff \| tree \| snapshot
2022-07-06	Ferruccio Guidi	partial commit in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-07-06	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-07-06	Ferruccio Guidi	partial commit in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-29	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-29	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	commit \| commitdiff \| tree \| snapshot
2022-06-29	Ferruccio Guidi	update in delayed updating	commit \| commitdiff \| tree \| snapshot
2022-06-25	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-24	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-23	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-22	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-06-22	Ferruccio Guidi	update in delayed updating	commit \| commitdiff \| tree \| snapshot
2022-06-20	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-15	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-13	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-09	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-08	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-06-08	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-06-08	Ferruccio Guidi	update in lib	commit \| commitdiff \| tree \| snapshot
2022-06-08	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-05-30	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-05-25	Ferruccio Guidi	update in ground and delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-05-23	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-05-21	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-05-20	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-05-19	Ferruccio Guidi	update in ground	commit \| commitdiff \| tree \| snapshot
2022-05-17	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
2022-05-17	Ferruccio Guidi	update in delayed_updating	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom