From f04c93ce067626948e6bca807e6346d1ea55fe4f Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 23 May 2020 11:32:35 +0100 Subject: [PATCH] Added installation instructions. --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index 5e21314..c671f34 100644 --- a/README.md +++ b/README.md @@ -9,6 +9,12 @@ The official AFP releases are tagged. Additionally, this repository may contain extensions (i.e., a development version) that may be submitted (as an update of the UPF entry) at a later stage. +## Installation + +```console +achim@logicalhacking:~$ isabelle build -D UPF +``` + ## Authors * [Achim D. Brucker](http://www.brucker.ch/)