]> matita.cs.unibo.it Git - helm.git/history - matita/matita/help
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / matita / matita / help /
2023-02-14 Claudio Sacerdoti... made executable again master tree | commitdiff
2023-02-14 Claudio Sacerdoti... mod change (-x) tree | commitdiff
2023-02-14 Claudio Sacerdoti... All previously auto-generated files from *.in 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-04 Claudio Sacerdoti... mod change (-x) tree | commitdiff
2023-01-03 Claudio Sacerdoti... All previously auto-generated files from *.in 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
2019-10-18 Ferruccio GuidiMerge remote-tracking branch 'origin/ld-0.99.3' tree | commitdiff
2019-10-16 Claudio Sacerdoti... Update online helper entries tree | commitdiff
2019-10-01 Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3' tree | commitdiff
2019-09-29 Ferruccio GuidiMerge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... tree | commitdiff
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3 tree | commitdiff
2019-09-27 Andrea BerlingieriMany changes tree | commitdiff
2019-09-27 Andrea BerlingieriMany changes tree | commitdiff
2016-05-18 Ferruccio Guidibugfix ind docbook code for the relise of matita 0... tree | commitdiff
2012-04-17 Claudio Sacerdoti... Fixed w.r.t. new yelp. tree | commitdiff
2011-11-21 Claudio Sacerdoti... {pattern} => in pattern; tree | commitdiff
2011-11-18 Enrico Tassihints tree | commitdiff
2011-11-18 Enrico Tassicoercions tree | commitdiff
2011-11-18 Wilmer RicciottiAdded help for discriminator and inverter. tree | commitdiff
2011-11-18 Claudio Sacerdoti... ... tree | commitdiff
2011-11-18 Claudio Sacerdoti... ... tree | commitdiff
2011-11-18 Claudio Sacerdoti... Auto parameters documented for 0.99.1. tree | commitdiff
2011-11-18 Claudio Sacerdoti... For release 0.99.1. tree | commitdiff
2010-09-30 Claudio Sacerdoti... Stuff moved from old Matita. tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.