Copyright © 2010-2013 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
Version: Apr 3 2013 10:43:12
Authors: Manolis Papadakis.
This is PropEr's Reference Manual. If you are new to PropEr, you should first read the User Guide (available online at PropEr's website, and also in PropEr's README file). The bulk of the PropEr API is contained in the documentation for the following modules:
Generated by EDoc, Apr 3 2013, 10:43:12.