Migration to Isabelle 2020.

Import of official AFP entry for Isabelle 2020.
Fixed build instructions.
2020-05-23 11:38:48 +01:00 · 2020-05-23 11:38:25 +01:00 · 2020-05-23 11:20:04 +01:00
3 changed files with 10 additions and 4 deletions
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@ -3,7 +3,7 @@ pipeline {
    stages {
        stage('Build') {
            steps {
-                sh 'docker run -v $PWD/Core_DOM:/Core_DOM logicalhacking:isabelle2019 isabelle build -D /Core_DOM'
+                sh 'docker run -v $PWD/Core_DOM:/Core_DOM logicalhacking:isabelle2020 isabelle build -D /Core_DOM'
            }
        }
    }
--- a/Core_DOM/ROOT
+++ b/Core_DOM/ROOT
@ -1,10 +1,16 @@
 chapter AFP

 session "Core_DOM-devel" (AFP) = "HOL-Library" + 
-  options [timeout = 1200] 
+  options [timeout = 1200]
+  directories
+    "classes"
+    "monads"
+    "pointers"
+    "preliminaries"
+    "tests"
  theories
    Core_DOM
    Core_DOM_Tests
-  document_files 
+  document_files
    "root.tex"
    "root.bib"
--- a/README.md
+++ b/README.md
@ -12,7 +12,7 @@ submitted (as an update of the Core_DOM entry) at a later stage.
 ## How to build

 ```
-isabelle build -d Core_DOM Core_DOM 
+isabelle build -D Core_DOM
 ```

 ## Authors
Author	SHA1	Message	Date
Achim D. Brucker	860651df99	Migration to Isabelle 2020.	2020-05-23 11:38:48 +01:00
Achim D. Brucker	f70c859a01	Import of official AFP entry for Isabelle 2020.	2020-05-23 11:38:25 +01:00
Achim D. Brucker	dec40fef32	Fixed build instructions.	2020-05-23 11:20:04 +01:00