4 Oct
2008
4 Oct
'08
10:51 p.m.
Manuel Hermenegildo wrote:
Thanks Edison! Roberto, please let us know if you still have problems. Thanks --Man
Hi there, things are much better now: thanks! However we still have problems: I have set up a `clip' account on one of our machines and a directory with all what you need to investigate whether we are doing something wrong or not. Please send me privately, one or more ssh public keys and I will send you all the necessary instructions. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it