]> matita.cs.unibo.it Git - helm.git/commit
added web-services' interfaces image
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 May 2003 06:58:59 +0000 (06:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 28 May 2003 06:58:59 +0000 (06:58 +0000)
commit1b123726ab1b9b1c059418814571227e27be73aa
treea752dcc66ef28ea32c424c2fbb9f8779e7ed6f41
parent5af67735e8d6c2e4c5460b5004139bd98b51be6b
added web-services' interfaces image
helm/papers/calculemus-2003/eps/interfaces.dia [new file with mode: 0644]
helm/papers/calculemus-2003/eps/interfaces.eps [new file with mode: 0644]