]> matita.cs.unibo.it Git - helm.git/commit
Merge branch 'ocaml5' of git+ssh://matita.cs.unibo.it/srv/git/helm into ocaml5 ocaml5
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:24:33 +0000 (15:24 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:24:33 +0000 (15:24 +0100)
commit12b31294faff6108603bfdbda5363a1de345bd07
treeff644b28c69ab9808cf0241f0a8d78d7cd6c6669
parent66be8fbe19e2ccfa0e6a7abeba605152d1322595
parentd7aca3eacb4bd8dc56223098f92e5370c82f92ff
Merge branch 'ocaml5' of git+ssh://matita.cs.unibo.it/srv/git/helm into ocaml5