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