]> matita.cs.unibo.it Git - helm.git/commit
revert from camlp5o to standard syntax
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Jan 2023 22:06:57 +0000 (23:06 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:23:42 +0000 (15:23 +0100)
commitb161347767b1cb67c4f5b115e4414b85ac4b2183
treed8d6a633a02aeb238e82755122d7ded7dc67da32
parent86a71ccae1c961d563fb1ca2ceff3866dab4c065
revert from camlp5o to standard syntax
matita/components/getter/dune
matita/components/getter/http_getter_const.ml
matita/components/getter/http_getter_env.ml
matita/components/getter/http_getter_misc.ml
matita/components/getter/http_getter_wget.ml