From 58d8036e698675920566051f82e8fe6953db1fa4 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 2 Jan 2019 07:41:12 +0000 Subject: [PATCH] Initial commit. --- LICENSE | 23 +++++++++++++++++++++++ README.md | 24 ++++++++++++++++++++++++ 2 files changed, 47 insertions(+) create mode 100644 LICENSE create mode 100644 README.md diff --git a/LICENSE b/LICENSE new file mode 100644 index 0000000..f5a1463 --- /dev/null +++ b/LICENSE @@ -0,0 +1,23 @@ +Copyright (C) Achim D. Brucker +All rights reserved. + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + +* Redistributions of source code must retain the above copyright notice, this + list of conditions and the following disclaimer. + +* Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimer in the documentation + and/or other materials provided with the distribution. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE +DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE +FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL +DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR +SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER +CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, +OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE +OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. diff --git a/README.md b/README.md new file mode 100644 index 0000000..31e560e --- /dev/null +++ b/README.md @@ -0,0 +1,24 @@ +# Dockerfiles for Isabelle and Related Projects + +This repository contains Dockerfiles for running [Isabelle](https://isabelle.in.tum.de) +and projects based on [Isabelle](https://isabelle.in.tum.de). + +## List of Dockerfiles + + +## Authors + +Main author: [Achim D. Brucker](http://www.brucker.ch/) + +## License + +If not otherwise stated, all hacks are licensed under a 2-clause +BSD-style license. + +SPDX-License-Identifier: BSD-2-Clause + +## Master Repository + +The master git repository for this project is hosted by the [Software +Assurance & Security Research Team](https://logicalhacking.com) at +.