]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf7be46) | patch
update in ground_2 + \lambda\delta-related ignores
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 6 Jan 2018 15:31:41 +0000 (16:31 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 6 Jan 2018 15:31:41 +0000 (16:31 +0100)
commit8653dd54c57943e28e3ef60d2d0cbc1861a76a33
tree40c9f09fc419fa8270708a2c3a54ead10f7ab601tree | snapshot
parentbf7be462a06e739b39af20f72362857e849a2aa0commit | diff
update in ground_2 + \lambda\delta-related ignores
.gitignore diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/xoa/xoa_props.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/xoa2.conf.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.