| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-09-18 | upgpkg: isabelle 2023-1 | bitwave |
| 2022-11-05 | upgpkg: isabelle 2022-1 | bitwave |
| 2022-01-30 | updated .gitignore files | bitwave |
| 2021-12-15 | upgpkg: isabelle 2021_1-1 | bitwave |
| 2021-02-22 | upgpkg: isabelle 2021-1 | bitwave |
| 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 |
| 2018-08-15 | update to isabelle 2018 | Sebastian Stüber |
| 2017-10-10 | updates srcinfo | Sebastian Stüber |
| 2017-10-10 | isabelle 2017 relase | Sebastian Stüber |
| 2017-04-18 | maintainer changed, fixed broken sources | badcasa |
| 2016-02-21 | [fix] updated srcinfo | bitwave |
| 2016-02-21 | updated to 2016 | 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 |