ID | Date d'ouverture | Dernière mise à jour | Sommaire | Propriétaire | Rapporteur | Type | Jalon | Composant | Priorité | Sévérité | État | Résolution |
---|---|---|---|---|---|---|---|---|---|---|---|---|
40429 | 2020-05-20 06:40 | 2020-05-21 11:24 | trace docs | sforman | sforman | Docs | All Functions Documented | Docs | 6 | 6 | Atteints | Fixed |
40431 | 2020-05-21 07:09 | 2020-05-21 11:26 | primrec in Newton's Method notebook should be tailrec. | sforman | sforman | Docs | All Functions Documented | Docs | 5 - moyen | 3 | Atteints | Fixed |
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 |
40424 | 2020-05-19 01:58 | 2020-05-19 02:00 | Record current site URLs. | sforman | sforman | Docs | All Functions Documented | Docs | 2 | 5 - moyen | Ouvert | Aucun |