Skip to content

#1182 Add CIF multi-level splitter documentation

Albert Hofkamp requested to merge 1182-multilevel-documentation into develop
  • Changes:
    • Added documentation for the CIF multi-level splitter.
    • Fixed a typo in the CIF to mCRL2 transformer documentation.
    • The CIF documentation root AsciiDoc file now have comments that help in understanding the level offsets.

Closes #1182

Edited by Dennis Hendriks

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent