]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87bef78) | patch
comment removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jan 2023 17:44:57 +0000 (18:44 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Jan 2023 17:44:57 +0000 (18:44 +0100)
commitf5f785b7da38cc5f07c3f003ae74d577fd217c0c
tree931ae4779a058d90b5590275fdde4946cce77f82tree | snapshot
parent87bef7804f0856b8ef7593d7512cecda2f36773fcommit | diff
comment removed
matita/components/syntax_extensions/dune diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.