ID | Última Atualização | Sumário | Dono | Relator | Tipo | Marcos | Componente | Prioridade | Gravidade | Estado | Resolução | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
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 - Medium | 3 | Fechado | 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 - Medium | 5 - Medium | Fechado | Fixed |