]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e189bde) | patch
better spacing
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 17:48:16 +0000 (17:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 15 Nov 2008 17:48:16 +0000 (17:48 +0000)
commit3585c1963c95d33f98367018119bfd4b3c6b99b2
tree3001afc91777d830a6dd40a1ff73cc8c1cae7e3dtree | snapshot
parente189bde1e0a562e8689ff41d55d392431609e749commit | diff
better spacing
helm/software/matita/library/didactic/support/natural_deduction.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.