]> matita.cs.unibo.it Git - helm.git/commit
Enable "dune build -p matita" + version bumped to 0.99.5
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 2 Jan 2023 21:29:33 +0000 (22:29 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:23:41 +0000 (15:23 +0100)
commit4154281937451b96f89f7b2c5d098193448c240f
tree5b4e88e32ed703a07d29781f9494a063dd3905be
parentd19a20f88abd86df61e925a616de861e6acb51b9
Enable "dune build -p matita" + version bumped to 0.99.5
25 files changed:
matita/components/content/dune
matita/components/content_pres/dune
matita/components/disambiguation/dune
matita/components/extlib/dune
matita/components/getter/dune
matita/components/grafite/dune
matita/components/grafite_engine/dune
matita/components/grafite_parser/dune
matita/components/library/dune
matita/components/logger/dune
matita/components/ng_cic_content/dune
matita/components/ng_disambiguation/dune
matita/components/ng_extraction/dune
matita/components/ng_kernel/dune
matita/components/ng_library/dune
matita/components/ng_paramodulation/dune
matita/components/ng_refiner/dune
matita/components/ng_tactics/dune
matita/components/registry/dune
matita/components/syntax_extensions/dune
matita/components/xml/dune
matita/configure.ac
matita/dune-project
matita/matita.opam
matita/matita/dune