Графік комітів

8 Коміти

Автор SHA1 Повідомлення Дата
Achim D. Brucker 34755583e5 Initial commit.
ci/woodpecker/push/build Pipeline was successful Подробиці
2022-03-26 10:20:56 +00:00
Achim D. Brucker 9a6c2c9b28 Renamed upstream repository. 2021-12-29 18:42:15 +00:00
Achim D. Brucker ce87e17102 Fixed build instructions. 2021-12-29 18:42:15 +00:00
Achim D. Brucker 78fe95f95f Migration to Isabelle 2021-1 (based on afp-2021-12-28). 2021-12-29 08:04:23 +00:00
Achim D. Brucker ef59bf6a36 Import of AFP for Isabelle 2021. 2021-03-01 05:47:16 +00:00
Achim D. Brucker 0ad8d1fed7 Fixed URLs. 2020-05-23 15:47:00 +01:00
Achim D. Brucker 7df845aded Fixed typo. 2020-05-23 15:25:31 +01:00
Achim D. Brucker dbbb5ca340 Initial commit, based on AFP entry dated 2020-05-22. 2020-05-23 15:19:23 +01:00