
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