|Achim D. Brucker d88f0ed610 Added support for Isabelle 2019.||18 hours ago|
|.ci||18 hours ago|
|debian4isabelle||5 months ago|
|isabelle||18 hours ago|
|LICENSE||5 months ago|
|README.md||5 months ago|
|build.sh||18 hours ago|
debian4isabelle provides a generic Debian image that serves as basis for the Isabelle docker files. This image is not eagerly optimised for size, as it goal is to include all tools that are required for running Isabelle and tools based on Isabelle (e.g., HOL-TestGen).
isabelle provides a parametrized Dockerfile to generate docker images for various Isabelle versions.
Main author: Achim D. Brucker
If not otherwise stated, all hacks are licensed under a 2-clause BSD-style license.
The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com//lh-docker/lh-docker-isabelle.