diff --git a/ROOT b/ROOT index 9c69ed82..8287e893 100644 --- a/ROOT +++ b/ROOT @@ -8,6 +8,7 @@ session "Isabelle_DOF" = "Functional-Automata" + "ontologies/CENELEC_50126" "ontologies/Conceptual" "ontologies/scholarly_paper" + "ontologies/technical_report" "ontologies/mathex_onto" diff --git a/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy b/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy index d209e6d9..faceaa55 100644 --- a/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy +++ b/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy @@ -4,7 +4,7 @@ theory MyCommentedIsabelle begin -open_monitor*[this::article] +open_monitor*[this::report] (*>*) title*[tit::title]\An Account with my Personal, Ecclectic Comments on the Isabelle Architecture\ diff --git a/examples/technical_report/TR_my_commented_isabelle/output/document.pdf b/examples/technical_report/TR_my_commented_isabelle/output/document.pdf index 85b34dd0..782eafa9 100644 Binary files a/examples/technical_report/TR_my_commented_isabelle/output/document.pdf and b/examples/technical_report/TR_my_commented_isabelle/output/document.pdf differ diff --git a/ontologies/scholarly_paper.thy b/ontologies/scholarly_paper.thy index cd475e2e..bb7a6f08 100644 --- a/ontologies/scholarly_paper.thy +++ b/ontologies/scholarly_paper.thy @@ -13,8 +13,9 @@ doc_class subtitle = -- \adding a contribution list and checking that it is cited as well in tech as in conclusion. ? \ doc_class author = - email :: "string" - orcid :: "string" + email :: "string" <= "''''" + http_site :: "string" <= "''''" + orcid :: "string" <= "''''" affiliation :: "string" doc_class abstract = diff --git a/ontologies/technical_report.thy b/ontologies/technical_report.thy index 9f1e0d2d..e64319a9 100644 --- a/ontologies/technical_report.thy +++ b/ontologies/technical_report.thy @@ -4,8 +4,11 @@ theory technical_report imports "scholarly_paper" begin -doc_class table_of_content = - level :: int <= 3 +doc_class table_of_contents = + depth :: int <= 3 + +doc_class front_matter = + style :: string doc_class "chapter" = text_section + style :: string @@ -16,11 +19,13 @@ doc_class report = accepts "(title ~~ \subtitle\ ~~ \author\\<^sup>+ ~~ + \front_matter\ ~~ abstract ~~ - chapter ~~ + \table_of_contents\ ~~ introduction ~~ \technical || example\\<^sup>+ ~~ conclusion ~~ + \table_of_contents\ ~~ bibliography)" end