]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cab4eba) | patch
ed and draftstamp packages committed and activated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 May 2003 16:05:12 +0000 (16:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 May 2003 16:05:12 +0000 (16:05 +0000)
commit1a8aa17ccf98488f62696221d3fe50939c35d789
tree349fff726685e6d66d93af7350e1ea749236db48tree | snapshot
parentcab4eba3c7da115ecc1973d989b321b46835e1ebcommit | diff
ed and draftstamp packages committed and activated
helm/papers/calculemus-2003/draftstamp.sty [new file with mode: 0644] blob
helm/papers/calculemus-2003/ed.sty [new file with mode: 0644] blob
helm/papers/calculemus-2003/hbugs-calculemus-2003.tex diff | blob | history
helm/papers/calculemus-2003/stamp.pro [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.