outlined pettern instrument source code
zwischenstand
Merge branch 'gernots' into instrumentation_and_invariants
Just another temporary state
Merge branch 'gernots' into instrumentation_and_invariants to keep up-to-date
Renamed instrument source code to instrument system
More content...
finalized ’instrument system’
Merge branch 'gernots' into instrumentation_and_invariants
Merge pull request #71 from rschimmack/master

Unified names of pattern for Improvement.
prepared inclusion if instrument system
included instrument system
Merge branch 'gernots' into instrumentation_and_invariants
Merge pull request #72 from MichaelMahlberg/instrumentation_and_invariants

Instrumentation and invariants - this concludes #33
Merge pull request #6 from aim42/master

Update