]> 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>
Mon, 2 Jan 2023 21:29:33 +0000 (22:29 +0100)
commit516c0e7f030a485b3a1d91fdc1c536d2b4270997
tree9f68747d03e84df610201e6f95c2edc15ccb65e1
parentc6a7da09f9ed17221e62a987bf5310badf50946e
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