| ID | Date d'ouverture | Dernière mise à jour | Sommaire | Propriétaire | Rapporteur | Type | Jalon | Composant | Priorité | Sévérité | État | Résolution |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 40427 | 2020-05-19 10:59 | 2020-05-21 11:26 | Tabs messed up Gentzen diagrams. |  sforman | sforman | Docs | All Functions Documented | Library | 5 - moyen | 5 - moyen | Atteints | Fixed |
Fork![RSS feed of Ticket List [RSS]](https://static-cdn.osdn.net/ic/feed-14x14.png "Ticket RSS feed for Ticket List"){kind=small}
Flux RSS des tickets pour ce projet