 Achim D. Brucker
|
b698572146
|
Documented Isabelle version (2023).
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-14 06:33:28 +01:00 |
|
Achim D. Brucker
|
873151b4f3
|
Update to Isabelle 2022.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-10-30 17:56:15 +00:00 |
|
Achim D. Brucker
|
f6d97db0d3
|
Fixed markdown.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-08 12:37:04 +01:00 |
|
Achim D. Brucker
|
4a6fa93644
|
Fixed markdown.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-08 12:36:35 +01:00 |
|
Achim D. Brucker
|
6ca0b0fd21
|
Fixed markdown.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-08 12:36:09 +01:00 |
|
Achim D. Brucker
|
65ae177fbc
|
Switched back to unreleased.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-08 12:35:15 +01:00 |
|
Achim D. Brucker
|
b93ff8f65c
|
Bumped version to 1.3.0.
|
2022-07-08 12:16:00 +01:00 |
|
Achim D. Brucker
|
f2f48f2340
|
Updated Changelog for the release of v1.3.0.
|
2022-07-08 11:34:18 +01:00 |
|
Achim D. Brucker
|
d2b6cb81aa
|
LIPIcs needs to stay unsupported, right now.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 21:57:07 +01:00 |
|
Achim D. Brucker
|
03b721f014
|
Added renaming of mkroot_DOF.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-27 06:40:18 +01:00 |
|
Achim D. Brucker
|
c5752ba4a2
|
Grammar/spell-checking.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-27 06:35:06 +01:00 |
|
Achim D. Brucker
|
5582644068
|
Improved description of latest changes.
|
2022-06-24 16:01:27 +01:00 |
|
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
|
5348a609be
|
Official support for lipics-v2021 (fixes #13).
|
2022-03-27 12:20:49 +01:00 |
|
Achim D. Brucker
|
7b4450450d
|
Hide use of build script from users.
|
2022-03-27 12:02:15 +01:00 |
|
Achim D. Brucker
|
9f5d20a586
|
Updated version to Unreleased.
|
2022-03-26 19:00:39 +00:00 |
|
Achim D. Brucker
|
97bfdcff58
|
Re-added simple Changelog file.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-03-26 17:50:46 +00:00 |
|
Achim D. Brucker
|
20a81d3428
|
Cleanup.
|
2022-03-25 22:23:04 +00:00 |
|
Achim D. Brucker
|
0300a64119
|
Added v.1.1.0.
|
2021-03-20 22:25:29 +00:00 |
Burkhart Wolff
|
7e2224859e
|
mmm
|
2020-06-22 17:42:40 +02: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
|
1eff5c7550
|
Updated Changelog for release 1.0.0/Isabelle2019.
|
2019-08-18 10:39:24 +01:00 |
|
Achim D. Brucker
|
519095e8f5
|
Initial commit.
HOL-OCL/Isabelle_DOF/master This commit looks good
Details
|
2019-06-17 20:53:13 +01:00 |