 Achim D. Brucker
|
7b8ae0a93d
|
Make use of install script optional in favor of registration as Isabelle component. Style files, templates, and scripts are no longer installed into ISABELLE_USER_HOME.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-27 13:21:55 +01:00 |
|
Achim D. Brucker
|
9f5d20a586
|
Updated version to Unreleased.
|
2022-03-26 19:00:39 +00:00 |
|
Achim D. Brucker
|
f4286404fb
|
Merge branch 'v1.2.x/Isabelle2021'
|
2022-03-26 18:25:33 +00:00 |
|
Achim D. Brucker
|
20b77577cb
|
Updated version and DOI.
|
2022-03-25 22:21:40 +00:00 |
|
Achim D. Brucker
|
abe7713f1e
|
Disabled patch installation and updated Isabelle version.
|
2022-03-20 22:03:10 +00:00 |
|
Achim D. Brucker
|
8d8d418f0e
|
Update after Isabelle/DOF 1.1.0/Isabelle2021 release.
|
2021-03-20 23:56:46 +00:00 |
|
Achim D. Brucker
|
06dddeacf5
|
Porting to Isabelle 2021.
|
2021-03-10 22:04:09 +00:00 |
Burkhart Wolff
|
7e2224859e
|
mmm
|
2020-06-22 17:42:40 +02:00 |
|
Achim D. Brucker
|
74ab956b11
|
Updated to the official Isabelle 2020 release and corresponding AFP version.
|
2020-04-20 18:51:04 +01:00 |
|
Achim D. Brucker
|
968694f153
|
Port to Isabelle 2020 (tested with Isabelle 2020 RC4).
|
2020-04-08 16:26:00 +01:00 |
|
Achim D. Brucker
|
32e9c3f71c
|
Added version independent DOI.
|
2019-08-19 09:48:45 +01:00 |
|
Achim D. Brucker
|
718d759bd6
|
Re-set version to UNRELEASED.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-18 21:15:51 +01:00 |
|
Achim D. Brucker
|
b191029743
|
Added zenodo DOI.
|
2019-08-18 14:34:19 +01:00 |
|
Achim D. Brucker
|
c698a7a811
|
Added information on how to run Isabelle/DOF using Docker and added setup for documenting latest release.
Isabelle_DOF/Isabelle_DOF/v1.0.x%2FIsabelle2019 This commit looks good
Details
|
2019-08-18 14:05:00 +01:00 |
|
Achim D. Brucker
|
9117bed209
|
Updated config for release 1.0.0/Isabelle2019.
|
2019-08-18 10:39:42 +01:00 |
|
Achim D. Brucker
|
71ec7994cd
|
During install, infer DATE from git commit and also add commit id.
|
2019-08-15 16:55:12 +01:00 |
|
Achim D. Brucker
|
22529362a1
|
Update version information during installation.
|
2019-08-15 14:37:04 +01:00 |
|
Achim D. Brucker
|
9183dea32a
|
Splitting artifact URL.
|
2019-08-12 19:37:54 +01:00 |
|
Achim D. Brucker
|
b1d4abbf48
|
Introduced \dofurl.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-12 08:28:16 +01:00 |
|
Achim D. Brucker
|
f71706e67d
|
Renamed base url to artifact url.
|
2019-08-12 07:51:22 +01:00 |
|
Achim D. Brucker
|
8c29055ec6
|
Moved version-related configuration into a .config file.
|
2019-08-03 21:32:40 +01:00 |