Achim D. Brucker
|
def4a53102
|
Fixed build directory.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-03-01 13:13:15 +00:00 |
Achim D. Brucker
|
cabdfd55a1
|
Moved from Jenkins to Woodpecker.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-03-01 13:13:15 +00:00 |
Achim D. Brucker
|
61e34223aa
|
Renamed upstream repository.
|
2021-12-29 09:23:15 +00:00 |
Achim D. Brucker
|
03cc0ac118
|
Migration to Isabelle 2021-1 (based on afp-2021-12-28).
|
2021-12-28 09:00:23 +00:00 |
Achim D. Brucker
|
f04c93ce06
|
Added installation instructions.
afp-mirror/UPF/pipeline/head There was a failure building this commit
Details
|
2020-05-23 11:32:35 +01:00 |
Achim D. Brucker
|
5a35bc7ca0
|
Migration to Isabelle 2020.
|
2020-05-23 10:54:07 +01:00 |
Achim D. Brucker
|
ae982dface
|
Import of official AFP entry for Isabelle 2019.
afp-mirror/UPF/master This commit looks good
Details
|
2019-06-22 22:49:04 +01:00 |
Achim D. Brucker
|
90520c07fe
|
Renamed session to avoid conflict with activated AFP.
afp-mirror/UPF/master This commit looks good
Details
|
2019-01-05 17:47:38 +00:00 |
Achim D. Brucker
|
0e44f9d23d
|
Initial commit.
|
2019-01-05 17:45:30 +00:00 |
Achim D. Brucker
|
270d675500
|
Import of official AFP entry for Isabelle 2018.
|
2018-12-22 12:58:34 +00:00 |
Achim D. Brucker
|
2766cec66c
|
Fixed markdown.
|
2018-07-04 02:02:00 +01:00 |
Achim D. Brucker
|
07f8d47edc
|
Added master repository URL.
|
2018-07-02 08:42:38 +01:00 |
Achim D. Brucker
|
ccc6ea8841
|
Added SPDX License Identifier.
|
2018-07-02 08:41:35 +01:00 |
Achim D. Brucker
|
a2d9cc26e4
|
Fixed markdown.
|
2018-07-02 08:41:06 +01:00 |
Achim D. Brucker
|
f6ae1d216e
|
Import of current (Isabelle 2017) release of UPF.
|
2017-12-01 23:07:25 +00:00 |
Achim D. Brucker
|
0108e7575b
|
Removed references to system generated names.
|
2017-01-08 22:12:57 +00:00 |
Achim D. Brucker
|
23edf34523
|
Updated indentation.
|
2017-01-08 20:03:39 +00:00 |
Achim D. Brucker
|
d28d814621
|
Added publications.
|
2017-01-08 12:00:38 +00:00 |
Achim D. Brucker
|
dbe48c1ef6
|
Clarified file structure. Official AFP entry is now in directory UPF.
|
2017-01-07 00:05:52 +00:00 |
Achim D. Brucker
|
635bc0f990
|
Import of current (Isabelle 2016-1) release of UPF.
|
2016-12-26 11:43:16 +00:00 |
Achim D. Brucker
|
243939c32e
|
Import of current (Isabelle 2016) release of UPF.
|
2016-08-10 10:43:34 +01:00 |
Achim D. Brucker
|
9686a2dee3
|
Import of UPF release afp-UPF-2015-05-27 (Isabelle 2015).
|
2016-08-10 10:27:32 +01:00 |
Achim D. Brucker
|
38468e46bb
|
Import of UPF release afp-UPF-2014-11-30 (Isabelle 2014).
|
2016-08-10 10:11:02 +01:00 |
Achim D. Brucker
|
1fb8d8ad7d
|
Initial commit.
|
2016-08-10 10:07:10 +01:00 |