Achim D. Brucker
6c74a2e0f5
Basic Woodpecker setup (migration from Jenkins).
2022-03-17 22:28:31 +00:00
Achim D. Brucker
b96397800d
Updated Isabelle base image.
2021-03-21 00:00:13 +00:00
Achim D. Brucker
1c5bb85233
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/pipeline/head There was a failure building this commit
Details
2020-06-23 07:29:20 +01:00
Achim D. Brucker
44f40dbb75
Update to Isabelle 2020.
2020-06-23 06:57:18 +01:00
7e2224859e
mmm
2020-06-22 17:42:40 +02:00
Achim D. Brucker
4a208f2a73
Fixed manual generation.
2019-08-18 14:56:17 +01:00
Achim D. Brucker
1a87a4dcea
Install PDF manual as well.
2019-08-18 10:38:52 +01:00
Achim D. Brucker
45c7d4b291
Fixed signing message.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-08-17 22:08:45 +01:00
Achim D. Brucker
1330308091
Bug fix: ensure creation of doc directory before creating CONTENTS.
2019-08-17 10:14:28 +01:00
Achim D. Brucker
3aaa460bbc
Install CICM paper example and generate CONTENTS file.
2019-08-16 19:49:15 +01:00
Achim D. Brucker
032a9e9278
Added organization name to image name.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-08-15 20:37:40 +01:00
Achim D. Brucker
48884ea2a8
Renamed repository to lh-docker-isabelle.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-08-15 20:27:42 +01:00
Achim D. Brucker
5cc14c697f
Bug fix: naming of archive and git tag.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-08-15 17:10:16 +01:00
Achim D. Brucker
294a3c1769
Use config from checkout.
Isabelle_DOF/Isabelle_DOF/master There was a failure building this commit
Details
2019-08-15 16:55:40 +01:00
Achim D. Brucker
ecc7cec514
Documented default for $TAG.
2019-08-15 15:55:20 +01:00
Achim D. Brucker
ff0a40b62a
Bug fix: checkout $TAG.
2019-08-15 15:53:42 +01:00
Achim D. Brucker
6b1864e677
Updated help text.
2019-08-15 15:52:47 +01:00
Achim D. Brucker
86b57a21a5
Initial commit.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-08-13 00:02:01 +01:00
Achim D. Brucker
869f1615cd
Remove old output directories.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-07-20 22:30:31 +01:00
Achim D. Brucker
8953f37629
Large directory restructuring.
...
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
This commit restructures the file hierarchy:
1) implementation is moved into src/ directory to clean up
the main directory and to make it easier for users to
find the README.md.
2) ontologies (both, the Isabelle-part and the LaTeX-part) are
now structured into directories.
2019-07-20 21:12:40 +01:00
Achim D. Brucker
d1f5a5297a
Removed obsolete -s options from isabelle build.
Isabelle_DOF/Isabelle_DOF/Isabelle2019 There was a failure building this commit
Details
2019-06-20 09:45:18 +01:00
Achim D. Brucker
39afa24591
Migration to Isabelle 2019.
Isabelle_DOF/Isabelle_DOF/Isabelle2019 There was a failure building this commit
Details
2019-06-18 06:33:41 +01:00
Achim D. Brucker
df7fd4724b
Upgraded Jenkins build to Isabelle 2018.
HOL-OCL/Isabelle_DOF/Isabelle2018 This commit looks good
Details
2019-06-17 10:14:30 +01:00
Achim D. Brucker
b1db5622aa
Fixed name of docker image for CI.
2019-01-06 23:12:23 +00:00
Achim D. Brucker
d1c08b483b
Initial commit.
2019-01-06 22:56:03 +00:00
Achim D. Brucker
Burkhart Wolff