]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 440f25e) | patch
camlp5.gramlib does not pull in camlp-streams by default
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Jan 2023 20:31:32 +0000 (21:31 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 5 Jan 2023 20:31:32 +0000 (21:31 +0100)
commitc5308759873356195c79bf20aaaef97579551cba
tree32c6f144dbeb199e38b7bda3b5a64f958de49484tree | snapshot
parent440f25ef590813e93cb8aca12bab547f7141a95ccommit | diff
camlp5.gramlib does not pull in camlp-streams by default
matita/components/extlib/dune diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.