Extending the Rodin Pretty Print Page (How to extend Rodin Tutorial)

<prev: Extending_the_Rodin_Event-B_Explorer_(How_to_extend_Rodin_Tutorial)

^up: How to extend Rodin Tutorial (Index)

In this part

As this extension mechanism is detailed on a dedicated page of the wiki, we will here comment the implementation of a pretty printer for the bound elements. Unfortunately, it is not yet possible to act on the pretty print of events, so the probabilistic will not be displayed here.

See here for the detailed documentation : Extending the Pretty print Page

Step2

<prev: Extending_the_Rodin_Event-B_Explorer_(How_to_extend_Rodin_Tutorial)

^up: How to extend Rodin Tutorial (Index)