51 Commits (master)
 

Author SHA1 Message Date
  Achim D. Brucker aaad4fb482 Clean /tmp director after build. 4 days ago
  Achim D. Brucker 9fa6b32b53 Added links for Isabelle/DOF 1.1.0. 4 weeks ago
  Achim D. Brucker 315b3d1b1d Setup for various versions of Isabelle. 4 weeks ago
  Achim D. Brucker 4b2e86c6ad Added link for Isabelle2021 image. 1 month ago
  Achim D. Brucker 6b8827830d Updated latest Isabelle version and export environment. 1 month ago
  Achim D. Brucker 39b2e5865e Bug fix: LATEST defined twice. 1 month ago
  Achim D. Brucker 1c7a99b9c1 Fixed markdown. 2 months ago
  Achim D. Brucker d5198cdd37 Fixed markdown. 2 months ago
  Achim D. Brucker 6c588e2fa1 Fixed markdown. 2 months ago
  Achim D. Brucker e592260376 Added links to docker hub. 2 months ago
  Achim D. Brucker 84e02a0e23 Added note that files are tested with podman and Docker. 2 months ago
  Achim D. Brucker c7c5b0f4ce Added build dir. 3 months ago
  Achim D. Brucker a80fd4d3c4 Enable use global config. 3 months ago
  Achim D. Brucker 67cc9b43c4 Use $IMAGE_NAME for tagging. 3 months ago
  Achim D. Brucker 1e8603f50e Allow non-unique uids. 3 months ago
  Achim D. Brucker 72212b998c Fixed typo. 3 months ago
  Achim D. Brucker bd83a9f241 Factored configuration in separate file. 3 months ago
  Achim D. Brucker f31ef95fe9 Use docker as default container. 3 months ago
  Achim D. Brucker 2cfef2ddfc Allow user of podman as alternative to docker. 3 months ago
  Achim D. Brucker 1f569f2f74 Fixed typo. 3 months ago
  Achim D. Brucker b32ee44980 Use full registry URL (allows to use the Dockerfile, e.g., with podman, without the need to configure the registry. 3 months ago
  Achim D. Brucker b761d788a8 Update to Isabelle 2020. 11 months ago
  Achim D. Brucker d8863b054c Log image version during build. 1 year ago
  Achim D. Brucker b0cecf990e Install PDF viewer. 1 year ago
  Achim D. Brucker 95ec2a3f0c Use official release archive for generating Docker images. 1 year ago
  Achim D. Brucker 3d49783668 Bug fix: examples in JEdit docker. 1 year ago
  Achim D. Brucker 1f51468201 Inital commit of Dockerfile for Isabelle/DOF. 1 year ago
  Achim D. Brucker 355588690a Fixed project URL and improved description of Isabelle images. 1 year ago
  Achim D. Brucker 8ada0bd1b9 Source hook locally. 1 year ago
  Achim D. Brucker 13553ff8aa Fixed Sourceforce URL. 1 year ago
  Achim D. Brucker 40fc942edf Testing curl for obtaining latest AFP archive name (avoids use of w3m and awk). 1 year ago
  Achim D. Brucker b67a679bd7 Ensure quoting of arguments. 1 year ago
  Achim D. Brucker 0890d5a517 Moved Isabelle-image specific setup into build hook. 1 year ago
  Achim D. Brucker f241eeb676 Updated images names. 1 year ago
  Achim D. Brucker b5ba5be36f Added organization name to image names. 1 year ago
  Achim D. Brucker 60613ae169 Renamed repository to lh-docker-isabelle. 1 year ago
  Achim D. Brucker b99b55250a Install git and mercurial. 1 year ago
  Achim D. Brucker d88f0ed610 Added support for Isabelle 2019. 1 year ago
  Achim D. Brucker 100fa86c71 Fixed PATH. 2 years ago
  Achim D. Brucker 63915e3cc2 Enable configuration of UID of user in Docker container. 2 years ago
  Achim D. Brucker ebdd436bd0 Switched from http to https. 2 years ago
  Achim D. Brucker df8414822f Add isabelle bin directory to PATH. 2 years ago
  Achim D. Brucker 1b32ba0fd4 Removed entry point. 2 years ago
  Achim D. Brucker 442fec5c3c Renabled SHELL directive. 2 years ago
  Achim D. Brucker d8dfe40d96 Bug fix: Isabelle version was hardcoded in tags. 2 years ago
  Achim D. Brucker 5c409c00a7 Disabled SHELL directive. 2 years ago
  Achim D. Brucker 8d1176d523 Initial commit. 2 years ago
  Achim D. Brucker b64cf8a7be Initial commit isabelle. 2 years ago
  Achim D. Brucker eed450b116 Added licensing header. 2 years ago
  Achim D. Brucker def5cfad30 Initial commit debian4isabelle. 2 years ago