]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59c3713) | patch
old files (re)moved
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 Sep 2015 17:52:45 +0000 (17:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 20 Sep 2015 17:52:45 +0000 (17:52 +0000)
commit34c69f5b13b3aafd36d2e8a7e36a96e0748c7938
treeda9e45c0357a06e435dc225342574fac7957f31btree | snapshot
parent59c3713b93251505ba4e00b2695bffe2dfaf3bc7commit | diff
old files (re)moved
14 files changed:
matita/matita/contribs/limits/Class/defs.ma [deleted file] blob | history
matita/matita/contribs/limits/Class/eq.ma [deleted file] blob | history
matita/matita/contribs/limits/Domain/data.ma [deleted file] blob | history
matita/matita/contribs/limits/Domain/defs.ma [deleted file] blob | history
matita/matita/contribs/limits/Makefile [deleted file] blob | history
matita/matita/contribs/limits/Subset/defs.ma [deleted file] blob | history
matita/matita/contribs/limits/depends [deleted file] blob | history
matita/matita/contribs/limits/etc/Class/defs.etc [new file with mode: 0644] blob
matita/matita/contribs/limits/etc/Class/eq.etc [new file with mode: 0644] blob
matita/matita/contribs/limits/etc/Domain/data.etc [new file with mode: 0644] blob
matita/matita/contribs/limits/etc/Domain/defs.etc [new file with mode: 0644] blob
matita/matita/contribs/limits/etc/Subset/defs.etc [new file with mode: 0644] blob
matita/matita/contribs/limits/etc/preamble.etc [new file with mode: 0644] blob
matita/matita/contribs/limits/preamble.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.