[PPL-devel] ciaoc generates invalid glue code
bagnara at cs.unipr.it
Sat Oct 4 22:51:59 CEST 2008
Manuel Hermenegildo wrote:
> Thanks Edison! Roberto, please let us know if you still have
> problems. Thanks --Man
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,
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel