]> matita.cs.unibo.it Git - helm.git/history - matita/matita
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / matita / matita /
2023-02-14 Claudio Sacerdoti... made executable again master tree | commitdiff
2023-02-14 Claudio Sacerdoti... Ctr-C/break button behaviour fixed tree | commitdiff
2023-02-14 Claudio Sacerdoti... mod change (-x) tree | commitdiff
2023-02-14 Ferruccio Guidiwip .... tree | commitdiff
2023-02-14 Claudio Sacerdoti... All previously auto-generated files from *.in committed tree | commitdiff
2023-02-14 Claudio Sacerdoti... METAS removed + matita.conf.xml committed tree | commitdiff
2023-02-14 Claudio Sacerdoti... Remove all traces of autoconf/automake/makefile tree | commitdiff
2023-02-14 Claudio Sacerdoti... Install into doc the PDF and HTML manuals tree | commitdiff
2023-02-14 Claudio Sacerdoti... Manual(s) fixed and committed to avoid rebuilding them... tree | commitdiff
2023-02-14 Claudio Sacerdoti... Makefiles removed in favour of dune-only solution tree | commitdiff
2023-02-14 Claudio Sacerdoti... Dune sites used to locate the standard library tree | commitdiff
2023-02-14 Claudio Sacerdoti... Use dune-build-info to put the version in buildTimeConf tree | commitdiff
2023-02-14 Claudio Sacerdoti... Install what is needed by Matita (but not used yet!) tree | commitdiff
2023-02-14 Claudio Sacerdoti... Enable "dune build -p matita" + version bumped to 0... tree | commitdiff
2023-02-14 Claudio Sacerdoti... Preliminary support for dune tree | commitdiff
2023-02-14 Claudio Sacerdoti... Use of standard OCaml syntax tree | commitdiff
2023-02-14 Claudio Sacerdoti... Worker thread killing fixed tree | commitdiff
2023-02-14 Claudio Sacerdoti... Ctr-C now is equivalent to pressing the Break button tree | commitdiff
2023-02-14 Claudio Sacerdoti... Avoid race conditions (deadlocks) tree | commitdiff
2023-02-14 Claudio Sacerdoti... Porting to ocaml 5 tree | commitdiff
2023-02-14 Claudio Sacerdoti... Ctr-C/break button behaviour fixed tree | commitdiff
2023-02-04 Claudio Sacerdoti... mod change (-x) tree | commitdiff
2023-01-22 Ferruccio Guidiwip .... tree | commitdiff
2023-01-20 Ferruccio Guidiupdate from master branch tree | commitdiff
2023-01-18 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2023-01-18 Ferruccio Guidiupdate in ground tree | commitdiff
2023-01-03 Claudio Sacerdoti... All previously auto-generated files from *.in committed tree | commitdiff
2023-01-03 Claudio Sacerdoti... METAS removed + matita.conf.xml committed tree | commitdiff
2023-01-03 Claudio Sacerdoti... Remove all traces of autoconf/automake/makefile tree | commitdiff
2023-01-03 Claudio Sacerdoti... Install into doc the PDF and HTML manuals tree | commitdiff
2023-01-03 Claudio Sacerdoti... Manual(s) fixed and committed to avoid rebuilding them... tree | commitdiff
2023-01-03 Claudio Sacerdoti... Makefiles removed in favour of dune-only solution tree | commitdiff
2023-01-03 Claudio Sacerdoti... Dune sites used to locate the standard library tree | commitdiff
2023-01-03 Claudio Sacerdoti... Use dune-build-info to put the version in buildTimeConf tree | commitdiff
2023-01-02 Claudio Sacerdoti... Install what is needed by Matita (but not used yet!) tree | commitdiff
2023-01-02 Claudio Sacerdoti... Enable "dune build -p matita" + version bumped to 0... tree | commitdiff
2023-01-02 Claudio Sacerdoti... Preliminary support for dune tree | commitdiff
2023-01-02 Claudio Sacerdoti... Use of standard OCaml syntax tree | commitdiff
2022-12-30 Claudio Sacerdoti... Worker thread killing fixed tree | commitdiff
2022-12-30 Claudio Sacerdoti... Ctr-C now is equivalent to pressing the Break button tree | commitdiff
2022-12-30 Claudio Sacerdoti... Avoid race conditions (deadlocks) tree | commitdiff
2022-12-30 Claudio Sacerdoti... Porting to ocaml 5 tree | commitdiff
2022-12-28 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-12-27 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-12-21 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-12-20 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-12-19 Ferruccio Guidiupdate in ground tree | commitdiff
2022-12-14 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-12-14 Ferruccio Guidiupdate in ground tree | commitdiff
2022-12-11 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-12-08 Ferruccio Guidiupdate in ground tree | commitdiff
2022-11-23 Ferruccio Guidiwip in delayed_updating tree | commitdiff
2022-11-17 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-11-14 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-11-13 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-11-12 Ferruccio Guidiupdate in ground tree | commitdiff
2022-11-06 Ferruccio Guidiupdate in ground tree | commitdiff
2022-11-06 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-11-02 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-10-26 Ferruccio Guidiupdate in predefined_virtuals tree | commitdiff
2022-10-26 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-10-25 Ferruccio Guidiupdate in delayed_updating and ground tree | commitdiff
2022-09-11 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-09-08 Ferruccio Guidipartial update in delayed_updating tree | commitdiff
2022-09-07 Ferruccio Guidiupdate in ground and delayed_updating tree | commitdiff
2022-09-04 Ferruccio Guidiupdate in delayd_updating tree | commitdiff
2022-09-04 Ferruccio Guidiupdate in ground tree | commitdiff
2022-08-23 Ferruccio Guidiupdate in static_2 tree | commitdiff
2022-08-23 Ferruccio Guidiupdate in ground tree | commitdiff
2022-08-21 Ferruccio Guidiaddition to predefined virtuals tree | commitdiff
2022-08-21 Ferruccio Guidipartial update in delayed_updating tree | commitdiff
2022-08-14 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-08-09 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:... tree | commitdiff
2022-08-09 Ferruccio Guidicommit in delayed_updating tree | commitdiff
2022-08-07 Ferruccio Guidiupdate in ground tree | commitdiff
2022-08-07 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-08-06 Ferruccio Guidipartial commit in delayed_updating tree | commitdiff
2022-07-13 Ferruccio Guidipartial commit in delayed_updating tree | commitdiff
2022-07-06 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:... tree | commitdiff
2022-07-06 Ferruccio Guidipartial commit in delayed_updating tree | commitdiff
2022-07-06 Ferruccio Guidiupdate in ground tree | commitdiff
2022-07-06 Ferruccio Guidipartial commit in delayed_updating tree | commitdiff
2022-06-29 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-06-29 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:... tree | commitdiff
2022-06-29 Ferruccio Guidiupdate in delayed updating tree | commitdiff
2022-06-25 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-06-24 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-06-23 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-06-22 Ferruccio Guidiupdate in ground tree | commitdiff
2022-06-22 Ferruccio Guidiupdate in delayed updating tree | commitdiff
2022-06-20 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-06-15 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-06-13 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-06-09 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-06-08 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-06-08 Ferruccio Guidiupdate in ground tree | commitdiff
2022-06-08 Ferruccio Guidiupdate in lib tree | commitdiff
2022-06-08 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-05-30 Ferruccio Guidiupdate in delayed_updating tree | commitdiff
2022-05-25 Ferruccio Guidiupdate in ground and delayed_updating tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.