Isabelle_DOF/src/ROOT

session "Isabelle_DOF" = "Functional-Automata" + 
  options [document = pdf, document_output = "output", document_build = dof]
  sessions
    "Regular-Sets"
  directories 
    "DOF"
    "ontologies"
    "ontologies/CENELEC_50128"
    "ontologies/Conceptual"
    "ontologies/scholarly_paper"
    "ontologies/small_math"
    "ontologies/technical_report"
    "ontologies/CC_v3_1_R5"
  theories
    "DOF/Isa_DOF"
    "ontologies/ontologies"
New Config for 2017 including AFP contributions for Regular-Sets and Regular Automata. Added a thin layer interfacing these two. Slight textual improvements of examples (updates to more recent notations). 2018-10-30 14:50:01 +00:00			`session "Isabelle_DOF" = "Functional-Automata" +`
Isabelle/Scala build.props with some pro-forma services (unusual package name prevents problems with Maven/IntelliJ). 2021-12-19 15:50:21 +00:00			`options [document = pdf, document_output = "output", document_build = dof]`
Added Regular-Sets as session. 2019-01-06 17:39:29 +00:00			`sessions`
			`"Regular-Sets"`
Port to Isabelle 2020 (tested with Isabelle 2020 RC4). 2020-04-08 12:12:17 +00:00			`directories`
			`"DOF"`
			`"ontologies"`
			`"ontologies/CENELEC_50128"`
			`"ontologies/Conceptual"`
			`"ontologies/scholarly_paper"`
			`"ontologies/small_math"`
			`"ontologies/technical_report"`
Renaming to ensure compliance with naming restrictions. 2022-06-29 18:08:56 +00:00			`"ontologies/CC_v3_1_R5"`
Added session Isabelle_DOF. 2018-04-07 21:08:29 +00:00			`theories`
Large directory restructuring. This commit restructures the file hierarchy: 1) implementation is moved into src/ directory to clean up the main directory and to make it easier for users to find the README.md. 2) ontologies (both, the Isabelle-part and the LaTeX-part) are now structured into directories. 2019-07-20 20:12:40 +00:00			`"DOF/Isa_DOF"`
			`"ontologies/ontologies"`
Added session Isabelle_DOF. 2018-04-07 21:08:29 +00:00