afp-mirror
/
UPF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
29 Commits
1 Branch
11 Tags
994 KiB
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Commit Graph

29 Commits (main)
 

Author SHA1 Message Date
Achim D. Brucker b14c78f2ba Fixed URL to build artifacts.
ci/woodpecker/push/build Pipeline was successful
Details
 3 months ago
Achim D. Brucker ec99c91d35 Fixed URL to build artifacts.
ci/woodpecker/push/build Pipeline was successful
Details
 3 months ago
Achim D. Brucker fb1b0c6638 Generate PDF documentation.
3 months ago
Achim D. Brucker f9399a1283 Fixed secret name.
ci/woodpecker/push/build Pipeline was successful
Details
 4 months ago
Achim D. Brucker ec263ef544 Only deploy browser_info directory.
ci/woodpecker/push/build Pipeline failed
Details
 4 months ago
Achim D. Brucker def4a53102 Fixed build directory.
ci/woodpecker/push/build Pipeline failed
Details
 4 months ago
Achim D. Brucker cabdfd55a1 Moved from Jenkins to Woodpecker.
ci/woodpecker/push/build Pipeline failed
Details
 4 months ago
Achim D. Brucker 61e34223aa Renamed upstream repository.
6 months ago
Achim D. Brucker 03cc0ac118 Migration to Isabelle 2021-1 (based on afp-2021-12-28).
6 months ago
Achim D. Brucker f04c93ce06 Added installation instructions.
afp-mirror/UPF/pipeline/head There was a failure building this commit
Details
 2 years ago
Achim D. Brucker 5a35bc7ca0 Migration to Isabelle 2020.
2 years ago
Achim D. Brucker ae982dface Import of official AFP entry for Isabelle 2019.
afp-mirror/UPF/master This commit looks good
Details
 3 years ago
Achim D. Brucker 90520c07fe Renamed session to avoid conflict with activated AFP.
afp-mirror/UPF/master This commit looks good
Details
 4 years ago
Achim D. Brucker 0e44f9d23d Initial commit.
4 years ago
Achim D. Brucker 270d675500 Import of official AFP entry for Isabelle 2018.
4 years ago
Achim D. Brucker 2766cec66c Fixed markdown.
4 years ago
Achim D. Brucker 07f8d47edc Added master repository URL.
4 years ago
Achim D. Brucker ccc6ea8841 Added SPDX License Identifier.
4 years ago
Achim D. Brucker a2d9cc26e4 Fixed markdown.
4 years ago
Achim D. Brucker f6ae1d216e Import of current (Isabelle 2017) release of UPF.
5 years ago
Achim D. Brucker 0108e7575b Removed references to system generated names.
6 years ago
Achim D. Brucker 23edf34523 Updated indentation.
6 years ago
Achim D. Brucker d28d814621 Added publications.
6 years ago
Achim D. Brucker dbe48c1ef6 Clarified file structure. Official AFP entry is now in directory UPF.
6 years ago
Achim D. Brucker 635bc0f990 Import of current (Isabelle 2016-1) release of UPF.
6 years ago
Achim D. Brucker 243939c32e Import of current (Isabelle 2016) release of UPF.
6 years ago
Achim D. Brucker 9686a2dee3 Import of UPF release afp-UPF-2015-05-27 (Isabelle 2015).
6 years ago
Achim D. Brucker 38468e46bb Import of UPF release afp-UPF-2014-11-30 (Isabelle 2014).
6 years ago
Achim D. Brucker 1fb8d8ad7d Initial commit.
6 years ago