From 3587183a3ffa710fef862e8915cc54d48fc57f11 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 28 Apr 2018 17:42:16 +0100
Subject: [PATCH] Renaming: keyword_list => keywordlist (to avoid LaTex special
 characters).

---
 examples/simple/Article.thy    | 4 ++--
 ontologies/scholarly_paper.thy | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/examples/simple/Article.thy b/examples/simple/Article.thy
index 662ccf3..5407850 100644
--- a/examples/simple/Article.thy
+++ b/examples/simple/Article.thy
@@ -18,7 +18,7 @@ text*[auth4::author, affiliation="''Universit\\'e Paris-Sud''"]\<open>Burkhart W
 
 term "affiliation_update (\<lambda> _ . '''') S"  
   
-text*[abs::abstract, keyword_list="[]"] {* Isabelle/Isar is a system 
+text*[abs::abstract, keywordlist="[]"] {* Isabelle/Isar is a system 
 framework with many similarities to Eclipse; it is mostly known as part of 
 Isabelle/HOL, an interactive theorem proving and code generation environment. 
 Recently, an Document Ontology Framework has been developed as a plugin in 
@@ -60,7 +60,7 @@ simplify;
  *}  
   
 term "scholarly_paper.author.affiliation_update"
-term "scholarly_paper.abstract.keyword_list_update"
+term "scholarly_paper.abstract.keywordlist_update"
 term "scholarly_paper.introduction.comment2_update"
 ML{* val a $ b $ c = @{term "X\<lparr>affiliation:='' ''\<rparr>"}; fold;
 *}
diff --git a/ontologies/scholarly_paper.thy b/ontologies/scholarly_paper.thy
index 7125d8a..d34593b 100644
--- a/ontologies/scholarly_paper.thy
+++ b/ontologies/scholarly_paper.thy
@@ -18,7 +18,7 @@ doc_class author =
    affiliation :: "string"
 
 doc_class abstract =
-   keyword_list :: "string list"   <= "[]"
+  keywordlist    :: "string list"   <= "[]"
 
 
 doc_class text_section =