| ID | 啟用日期 | 最後更新 | 摘要 | 負責人 | 回報者 | 類型 | 里程碑 | 元件 | 優先權 | 嚴重程度 | 狀態 | 處理結果 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 40427 | 2020-05-19 10:59 | 2020-05-21 11:26 | Tabs messed up Gentzen diagrams. |  sforman | sforman | Docs | All Functions Documented | Library | 5 - 中 | 5 - 中 | 關閉 | 修正 |
| 40345 | 2020-04-24 14:14 | 2020-04-26 06:20 | automate publication of docs | sforman | sforman | 支援請求 | All Functions Documented | Docs | 3 | 5 - 中 | 關閉 | 修正 |
| 40424 | 2020-05-19 01:58 | 2020-05-19 02:00 | Record current site URLs. | sforman | sforman | Docs | All Functions Documented | Docs | 2 | 5 - 中 | 開啟 | 無 |
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