| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-06-23 | upgpkg: isabelle 2024-1 | bitwave | |
| upstream release | |||
| 2023-09-18 | upgpkg: isabelle 2023-1 | bitwave | |
| upstream release | |||
| 2022-11-05 | upgpkg: isabelle 2022-1 | bitwave | |
| upstream release | |||
| 2021-12-15 | upgpkg: isabelle 2021_1-1 | bitwave | |
| upstream release | |||
| 2021-02-22 | upgpkg: isabelle 2021-1 | bitwave | |
| upstream release | |||
| 2020-04-18 | isabelle 2020 | Sebastian Stüber | |
| 2019-06-15 | Isabelle 2019 | Sebastian Stüber | |
| 2018-08-15 | updated SRCINFO to isabelle 2018 | Sebastian Stüber | |
| 2017-10-10 | updates srcinfo | Sebastian Stüber | |
| 2017-04-18 | maintainer changed, fixed broken sources | badcasa | |
| 2016-02-21 | [fix] updated srcinfo | bitwave | |
| 2015-07-25 | removed nonsense | bitwave | |
| 2015-07-19 | fixed desktop file | bitwave | |
| 2015-07-16 | moved some depends to opt & added .desktop file | bitwave | |
| 2015-06-09 | Initial Import | bitwave | |