| Age | Commit message | 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 |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/isabelle.git/ | ||