]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1d1119) | patch
Added File arch.gif, generated from .fig by Irene.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Feb 2002 17:37:03 +0000 (17:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Feb 2002 17:37:03 +0000 (17:37 +0000)
commit3a4769e63d5115e8142a214690e8ac8746809574
treeeb232771d8116d2a64ef1292745ef7736fa66a99tree | snapshot
parente1d1119e566e73a3658c896dbd81bb379e9c6b98commit | diff
Added File arch.gif, generated from .fig by Irene.
The margins are not very tight: it will probably need to be redone.
helm/mowgli/home/images/arch.gif [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.