]> matita.cs.unibo.it Git - helm.git/commit - helm/papers/matita/matita2.tex
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6203a9d) | patch
Da capo (matita2.tex).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 24 Nov 2005 13:30:01 +0000 (13:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 24 Nov 2005 13:30:01 +0000 (13:30 +0000)
commit22fae39d4d5da97fcd91d6c25158ffdaee9a6f86
tree7c34e94231ccd479bf6bff63e5d0d5b15478fc09tree | snapshot
parent6203a9d0d56c7ec7cd11713b5ed56645271154becommit | diff
Da capo (matita2.tex).
helm/papers/matita/.cvsignore diff | blob | history
helm/papers/matita/Makefile diff | blob | history
helm/papers/matita/libraries.ps [new file with mode: 0644] blob
helm/papers/matita/matita2.tex [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.