]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3895bfa) | patch
housekeeping
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 13:17:00 +0000 (13:17 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 13:17:00 +0000 (13:17 +0000)
commitf1f445457c73202fd696c1b9fe0b24c0bafe2452
tree501c88755f9f970b97e69c32fb0e441ea4231daetree | snapshot
parent3895bfa2b76c88af1d6ac41605ff17e2626d353acommit | diff
housekeeping
helm/software/matita/contribs/didactic/Makefile [deleted file] blob | history
helm/software/matita/contribs/didactic/duality.ma [deleted file] blob | history
helm/software/matita/contribs/didactic/induction.ma [deleted file] blob | history
helm/software/matita/contribs/didactic/shannon.ma [deleted file] blob | history
helm/software/matita/library/didactic/exercises/Makefile [new file with mode: 0644] blob
helm/software/matita/library/didactic/exercises/duality.ma [new file with mode: 0644] blob
helm/software/matita/library/didactic/exercises/shannon.ma [new file with mode: 0644] blob
helm/software/matita/library/didactic/exercises/substitution.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.