 Achim D. Brucker
|
34755583e5
|
Initial commit.
ci/woodpecker/push/build Pipeline was successful
Detalhes
|
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 |