Krzysztof Jakubczyk wrote: > is it possible to use PPL Java interface under windows? Has anyone tried > it? Not that we know. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara at cs.unipr.it