Achim D. Brucker
|
e12abadc94
|
Test with Isabelle 2023.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-14 06:29:01 +01:00 |
Achim D. Brucker
|
d277fa2aed
|
Updated READMEs after session renaming.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-15 16:55:15 +01:00 |
Achim D. Brucker
|
f29d888068
|
Markdown cleanup.
|
2023-03-05 23:18:22 +00:00 |
Achim D. Brucker
|
3b33166f55
|
Added instructions for installing the AFP.
|
2023-03-03 05:47:11 +00:00 |
Achim D. Brucker
|
bde86a1118
|
Added note on using the development version of Isabelle.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-02-28 08:30:56 +00:00 |
Achim D. Brucker
|
7ad7c664a3
|
Started to update documentation to match new repository layout (contributes to #23).
|
2023-02-28 00:50:23 +00:00 |