Updated ROOT(s) setup to include AFP entries ...

2018-11-06 09:10:11 +00:00 · 2018-11-06 09:10:11 +00:00 · 4aa8730762
parent 9aef99c9d6
commit 4aa8730762
3 changed files with 6 additions and 2 deletions
--- a/2
+++ b/2
@ -1,3 +1,3 @@
 AFP-contribs/Regular-Sets
 AFP-contribs/Functional-Automata
-
+examples/
--- a/examples/ROOTS
+++ b/examples/ROOTS
@ -0,0 +1,4 @@
+scholarly/
+technical_report
+math_exam/MathExam
+math_exam/BAC2017
--- a/examples/technical_report/ROOT
+++ b/examples/technical_report/ROOT
@ -1,4 +1,4 @@
-session "TechnicalReport" = "HOL" +
+session "TechnicalReport" = "Isabelle_DOF" +
  options  [document = pdf, document_output = "output", quick_and_dirty = true]
  theories [document = false]
    "../../ontologies/scholarly_paper"