| ID | 开放日期 | 最后更新 | 概述 | 属主 | 报告人 | 类型 | 里程碑 | 组件 | 优先 | 严重性 | 状态 | 处理结果 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 40429 | 2020-05-20 06:40 | 2020-05-21 11:24 | trace docs |  sforman | sforman | Docs | All Functions Documented | Docs | 6 | 6 | 关闭 | 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 - Medium | 3 | 关闭 | 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 | 关闭 | Fixed |
| 40345 | 2020-04-24 14:14 | 2020-04-26 06:20 | automate publication of docs | sforman | sforman | Support Request | All Functions Documented | Docs | 3 | 5 - Medium | 关闭 | 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}
Ticket RSS feed for this Project