Achim D. Brucker
|
3a7a6daf2c
|
Changed name to reflect development status.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-26 08:12:43 +00:00 |
Achim D. Brucker
|
9ddae0c3d9
|
Switched from Jenkins to Woodpecker CI.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-03-26 08:07:35 +00:00 |
Achim D. Brucker
|
ebbe081ca7
|
Switched from Jenkins to Woodpecker CI.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-03-26 08:06:44 +00:00 |
Achim D. Brucker
|
814d511859
|
Renamed upstream repository.
|
2021-12-31 07:42:15 +00:00 |
Achim D. Brucker
|
e40cb5bbde
|
Migration to Isabelle 2021-1 (based on afp-2021-12-28).
|
2021-12-31 07:42:15 +00:00 |
Achim D. Brucker
|
c3c1cafaa3
|
Import of AFP for Isabelle 2021.
|
2021-02-26 11:42:58 +00:00 |
Achim D. Brucker
|
9fd9332f74
|
Renamed session to avoid name clash with offical AFP entry.
|
2020-12-19 09:33:34 +00:00 |
Achim D. Brucker
|
73b3b13ab0
|
Initial commit.
|
2020-12-19 09:21:12 +00:00 |
Achim D. Brucker
|
d456a3965d
|
Initial commit.
|
2020-12-19 09:20:31 +00:00 |
Achim D. Brucker
|
a7c68b6777
|
Initial import from AFP.
|
2020-12-19 08:46:46 +00:00 |