9 Aug
2011
9 Aug
'11
7:06 p.m.
On 08/09/11 18:42, PcX wrote:
When I configure the latest ppl git, some strange errors come out, but the ppl git at 6.10 has no problem.
Hi PcX, what do you mean by "ppl git at 6.10"? By "latest ppl git" do you mean the tip of the master branch? All the best, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it