Prover iLock attributes
i

hugo_at_proverProver iLock attributes

hugo_at_prover

This extension opens up a dialog that allows the user to set some Prover iLock specific attributes. The attributes decide how Prover iLock will display the svg file, in particular they are used to associate layers to "visualization features" that are used to dynamically change the drawn symbol based on the current state in the tool.


Comment here...