
11 Aug
2012
11 Aug
'12
9:16 a.m.
On 08/10/12 09:39, Zell wrote:
I don't find 'configure' in your PPL. (downloaded by GIT) Is that normal?
Yes: see the section on "Using the Git Sources" in README.configure. Kind regards,
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