Documentation is generated by waf
ENH: New simulation
FIX: Added missing file
RE: Netview refactored
Merge branch 'newsim'
RE: CaVerif build upon Cailie's State
FIX: Fixed error messages for initial expressions of area and places
ENH: Show states in report
ENH: Intro screen updated
ENH: Conditional output edges
FIX: Scrolling in console
DOC: Start of 'Edges' section in userguide
ENH: New default simulation settings
FIX: Fixed documentation building
ENH: Controll sequences implemented
ENH: Priorities
ENH: Simulation respects priorities
Merge remote-tracking branch 'origin/master'
ENH: Support of std::pair
ENH: Exporting sequences from tracelog