search

isabelle-utp / interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model
6 stars 1 forks source link

Update installation instructions #7

Closed RandallYe closed 1 year ago

RandallYe commented 1 year ago

Update the installation instructions and add a section related to RoboChart.

RandallYe commented 1 year ago

@simondfoster I update the instruction and particularly I would like to point the latest RoboChart development to another branch. If you think it is fine, could you please merge it? Thanks.

simondfoster commented 1 year ago

Thanks Randall. I've merged your update.