| 832 |
Bug in translation of datatypes to set theory |
3.10 |
open |
Guillaume Verdier
|
4 days ago
|
4 days ago
|
|
| 831 |
Issues with DatatypeHelper.computeId |
3.10 |
open |
Guillaume Verdier
|
2024-06-07
|
2024-06-07
|
|
| 800 |
Interaction between content assist and proof “yellow box” |
unplanned |
open |
|
2022-03-16
|
2022-03-16
|
|
| 794 |
Formula factory handling during proof replay |
unplanned |
open |
|
2021-06-04
|
2021-06-04
|
|
| 793 |
Completion doesn't work in Rodin editor |
unplanned |
open |
|
2021-03-09
|
2021-03-09
|
|
| 792 |
Internal error after renaming |
unplanned |
open |
|
2021-02-17
|
2021-02-17
|
|
| 785 |
Dark mode in MacOS |
3.9 |
open |
|
2020-09-08
|
2023-04-11
|
|
| 784 |
A strange error of decomposition |
3.5 |
open |
|
2020-08-12
|
2020-09-15
|
|
| 752 |
Mode/FT Views: Failure to install |
unplanned |
open |
|
2015-06-19
|
2015-11-05
|
|
| 751 |
Project Diagram Plugin Fails |
3.1 |
open |
Colin Snook
|
2015-06-18
|
2020-09-08
|
|
| 744 |
Proofs broken after refactoring |
3.1 |
open |
|
2015-04-14
|
2015-04-15
|
|
| 732 |
Disappearing proof obligations in Explorer |
3.3 |
open |
|
2015-01-26
|
2015-11-05
|
|
| 709 |
When editing textfields, rodin hangs and consume 100% CPU |
1.0 |
pending |
|
2014-04-09
|
2014-04-14
|
|
| 707 |
Not refreshing current proof node when model changes |
3.1 |
open |
Nicolas Beauger
|
2014-02-24
|
2014-02-24
|
|
| 700 |
Renaming makes all proofs automatic |
3.1 |
open |
|
2013-11-13
|
2013-11-13
|
|
| 688 |
Exception while loading font on startup |
unplanned |
open |
|
2013-07-31
|
2013-10-25
|
|
| 684 |
PUI does not preserve whitespace |
2.8 |
open |
|
2013-06-25
|
2013-06-26
|
|
| 681 |
GI (soton) - No class def found exception |
2.7 |
open |
Asieh Salehi
|
2013-06-19
|
2013-06-19
|
|
| 674 |
Deadlock while loading buffer |
unknown |
open |
|
2013-05-23
|
2013-05-23
|
|
| 663 |
Indexers are not run independently |
unplanned |
open |
|
2013-04-24
|
2013-10-25
|
|
| 662 |
Not refreshing proof interface |
unplanned |
open |
Nicolas Beauger
|
2013-04-24
|
2013-10-29
|
|
| 653 |
NPE during build |
3.1 |
open |
Nicolas Beauger
|
2013-04-16
|
2013-11-04
|
|
| 650 |
Improve error message for wrong use of type |
3.0 |
open |
Laurent Voisin
|
2013-04-02
|
2013-04-02
|
|
| 649 |
Invalid root elements in file contents are not detected |
unplanned |
open |
|
2013-02-21
|
2013-10-25
|
|
| 646 |
Inconsistent generation of SIM POs |
3.0 |
open |
Laurent Voisin
|
2013-01-23
|
2013-01-23
|
|
