29 Commits (main)
 

Author SHA1 Message Date
Achim D. Brucker b14c78f2ba Fixed URL to build artifacts. 3 months ago
Achim D. Brucker ec99c91d35 Fixed URL to build artifacts. 3 months ago
Achim D. Brucker fb1b0c6638 Generate PDF documentation. 3 months ago
Achim D. Brucker f9399a1283 Fixed secret name. 4 months ago
Achim D. Brucker ec263ef544 Only deploy browser_info directory. 4 months ago
Achim D. Brucker def4a53102 Fixed build directory. 4 months ago
Achim D. Brucker cabdfd55a1 Moved from Jenkins to Woodpecker. 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. 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. 3 years ago
Achim D. Brucker 90520c07fe Renamed session to avoid conflict with activated AFP. 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