Commit Graph

10 Commits

Author SHA1 Message Date
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