Skip to content

How to use EB2RC

Jump to bottom
Zheng Cheng edited this page Oct 30, 2019 · 4 revisions
  • Setup EB2RC (Rodin -> Window -> preferences -> EB2RC)
  • Run EB2RC (Event-b project -> Right click -> Run EB2RC -> Gen Tex/Tikz)
  • Corresponding Latex Code is then generated at "selected Event-B project/code"
Clone this wiki locally