 Achim D. Brucker
|
e24b8241b5
|
Increased timeout.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-04-02 15:04:29 +01:00 |
|
Achim D. Brucker
|
399cb007b5
|
Updated instructions for installing AFP.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-03-26 10:33:50 +00:00 |
|
Achim D. Brucker
|
f12c834a2f
|
Initial commit.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-03-26 10:29:17 +00:00 |
|
Achim D. Brucker
|
26cf49dd0c
|
Renamed upstream repository.
|
2021-12-29 18:55:15 +00:00 |
|
Achim D. Brucker
|
f1b3fa41c2
|
Migration to Isabelle 2021-1 (based on afp-2021-12-28).
|
2021-12-29 08:04:23 +00:00 |
|
Achim D. Brucker
|
140ae6d623
|
Import of AFP for Isabelle 2021.
|
2021-02-25 08:48:04 +00:00 |
|
Achim D. Brucker
|
900970a4ed
|
Added CSF 2021 paper.
|
2020-12-19 19:40:26 +00:00 |
|
Achim D. Brucker
|
216e3831c7
|
Initial commit, based on AFP entry dated 2020-05-22.
|
2020-05-23 15:44:53 +01:00 |