Menu
▾
▴
Support Requests Maximize Restore
| # | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | |
|---|---|---|---|---|---|---|---|
| 41 | ERROR INSTALLING PRO B | v1.0_(example) | open | 2023-11-08 | 2023-11-09 | ||
| 40 | Integer Overflow with Rodin | v1.0_(example) | open | 2022-10-29 | 2022-10-29 | ||
| 39 | Error on launch | v1.0_(example) | open | 2021-10-18 | 2021-10-19 | ||
| 38 | Error when installing Atelier B Provers | v1.0_(example) | pending | 2020-12-05 | 2020-12-08 | ||
| 37 | An error when launching Rodin | v1.0_(example) | open | 2020-09-04 | 2020-09-04 | ||
| 35 | 32 bits application | v1.0_(example) | open | 2019-10-16 | 2019-10-16 | ||
| 34 | 32 bits application | v1.0_(example) | open | 2019-10-16 | 2019-10-16 | ||
| 33 | Installing Camille fails | v1.0_(example) | open | 2019-05-03 | 2019-05-03 | ||
| 31 | B2Latex | v1.0_(example) | open | 2019-04-30 | 2019-04-30 | ||
| 29 | theory plugin again | v1.0_(example) | open | 2015-12-01 | 2015-12-01 | ||
| 28 | Theory plugin and 3.2 | v1.0_(example) | open | 2015-11-05 | 2015-11-10 | ||
| 27 | Eclipse version for rodin 3.0 | v1.0_(example) | pending | Laurent Voisin | 2014-04-13 | 2014-04-24 | |
| 23 | How to write sequential programs? | None | open | 2011-10-29 | 2012-12-08 | ||
| 22 | plugin installation errors | None | open | 2010-07-02 | 2012-12-08 | ||
| 21 | "type unknown" | None | open | 2010-03-27 | 2012-12-08 | ||
| 19 | plugin sharedEventComposition | None | open | Colin Snook | 2009-08-25 | 2009-09-14 | |
| 9 | How to extend static checker | None | open | Stefan Hallerstede | 2008-02-29 | 2008-02-29 |