• Rodin 2.3 压缩包（包含 Aterial-B Prover、AnimB、Refactory、Theory、B2LaTeX 插件和适当设置）
  这是第二次更新的版本。同学们在更新时务必注意先备份自己的 workspace 目录。
  安装指南：
  1. （更新）备份旧的 workspace 目录
  2. 下载后在任意位置展开
  3. 用安装目录下的Rodin.exe启动。启动中弹出对话框问workspace时指定安装目录下的workspace
  4. 若想把workspace建在其他地方，建后拷贝安装目录下的workspace去覆盖所建的workspace
  5. （更新）恢复 workspace 目录

• Rodin 工程的 LaTeX 支持宏包 bsymb 1.9。可以用它在 LaTeX 中输入 Event-B 的符号。B2LaTeX 插件的输出结果编译时也需要这个宏包。
• Rodin 2.3 压缩包（直接从 Event-B 网站下载的压缩文件，不包含插件）

• 32 位 Windows 版 Java Runtime Version 6 Update 27
• 64 位 Windows 版 Java Runtime Version 6 Update 27

安装后的 Rodin 界面如图：

• EventB-Summary.pdf

• User Manual of the RODIN Platform（较老旧）
• The Event-B Mathematical Language
• The Event-B Modelling Notation

• Rodin 是在 Eclipse 上二次开发的软件，下载的 Rodin 主系统 win32 压缩包直接解压就可以使用。
• 要安装插件，点击菜单 Help → Install New Software... 中进行安装。安装插件需要国际网关。
• 安装插件时，在 Work with 项中可以选择显示的软件源，但 eclipse 仍会检查下拉菜单中的所有软件源，由于部分软件源无法访问或非常慢，这会造成整个安装过程无法继续。因此，需要点击 Available Software Sites 设置项，去掉所有不需要的软件源，才能正确完成安装。
• Animb 插件的软件源是 AnimB - http://www.animb.org/updatesite；Refactory 插件使用 SourceForge 的主软件源 Rodin - http://rodin-b-sharp.sourceforge.net/updates
• SourceFore 主软件源的连接可能非常慢，因为 SourceForge 网站被部分封锁，且源里的软件甚多。如果不方便翻墙，可通过手工修改软件源信息的方式只安装想要的插件：
  • 软件源中的目录信息由源地址下的 site.xml 文件保存。
  • 下载 http://rodin-b-sharp.sourceforge.net/updates/site.xml，删除其中不需要的 feature 与 archive 项。例如，可以只保留最新版本 Refactory 插件。
  • 重新安装插件，只选择 site.xml 文件所在的本地目录作为源。由于站点信息 site.xml 中的下载仍然指向 SourceForge，安装时仍然需要网络连接。