knowledge (18feb18)

git-svn-id: svn://tug.org/texlive/trunk@46669 c570f23f-e606-0410-a88d-b1316a301751

3 files changed, 41 insertions, 24 deletions

diff --git a/Master/texmf-dist/doc/latex/knowledge/README.md b/Master/texmf-dist/doc/latex/knowledge/README.md
index 15a7661ddd4..e78dd4ff02d 100644
--- a/Master/texmf-dist/doc/latex/knowledge/README.md
+++ b/Master/texmf-dist/doc/latex/knowledge/README.md
@@ -3,8 +3,8 @@ This directory contains the package
 
   name: knowledge
   license: LaTeX Project Public License version 1.2 or above
-  version: v1.08
-  date: 2017/10/17
+  version: v1.10
+  date: 2018/02/17
   author: Thomas Colcombet
   mail: thomas.colcombet@irif.fr
   web: https://www.irif.fr/~colcombe/knowledge_en.html
diff --git a/Master/texmf-dist/doc/latex/knowledge/knowledge.pdf b/Master/texmf-dist/doc/latex/knowledge/knowledge.pdf
index 62a60f9e886..d3b3246c9fc 100644
--- a/Master/texmf-dist/doc/latex/knowledge/knowledge.pdf
+++ b/Master/texmf-dist/doc/latex/knowledge/knowledge.pdf
diff --git a/Master/texmf-dist/doc/latex/knowledge/knowledge.tex b/Master/texmf-dist/doc/latex/knowledge/knowledge.tex
index 6c57864cf3c..d104052f6bc 100644
--- a/Master/texmf-dist/doc/latex/knowledge/knowledge.tex
+++ b/Master/texmf-dist/doc/latex/knowledge/knowledge.tex
@@ -29,7 +29,8 @@
 \CodelineIndex
 \RecordChanges
 
-
+\let\oldbibitem\bibitem
+\renewrobustcmd\bibitem\oldbibitem
 
 
 
@@ -114,7 +115,7 @@
   default style={autoref link,cs},
   unknown style=cs unknown,
   unknown style cont=cs unknown,
-  unknown warning=f	alse,
+  unknown warning=false,
   unknown diagnose=true,
   suggestion=cs,
   PDF string={\detokenize{#1}}}
@@ -176,7 +177,7 @@
 \knowledge {experimental}{doc notion,color=gray}
 
 
-\ExplSyntaxOn
+%\ExplSyntaxOn
 \NewDocumentCommand\robustdisplaycs{m}
    {\expandafter\robustdisplay\csname#1\endcsname}
 
@@ -191,16 +192,13 @@
 \knowledge{AucTex}{typewriter}
 \knowledge{Emacs}[emacs|EMACS]{typewriter}
 
-\makeatletter
-\let\arobas @
-\makeatother
-
+\ExplSyntaxOff
 \knowledgestyle{tt}{typewriter,up,md,color=NavyBlue}
 \knowledgestyle{tt intro}{typewriter,up,md,color=blue}
 \knowledgedirective{kcommand}{style=tt,intro style=tt intro,autoref}
-
-\knowledgedirective{kquotation}{style=tt,intro style=tt intro,autoref}
-\knowledge{"..."}{kquotation,text=\kl"$\cdots$\kl{"}}
+\knowledgedirective{kquotation}{style=tt, intro style=tt intro,autoref}
+\ExplSyntaxOn
+\knowledge{"..."}{kquotation,text=\kl{"}$\cdots$\kl{"}}
 \knowledge{""...""}{kquotation,text=\kl{""}$\cdots$\kl{""}}
 \knowledge{"...@..."}{kquotation,text=\kl{"}$\cdots\arobas\cdots$\kl{"}}
 \knowledge{""...@...""}{kquotation,text=\kl{""}$\cdots\arobas\cdots$\kl{""}}
@@ -208,9 +206,15 @@
 \knowledge{""...@@...""}{kquotation,text=\kl{""}$\cdots\arobas\cdots\arobas\cdots$\kl{""}}
 \knowledge{"...@...@..."}{kquotation,text=\kl{"}$\cdots\arobas\cdots\arobas\cdots$\kl{"}}
 \knowledge{""...@...@...""}{kquotation,text=\kl{""}$\cdots\arobas\cdots\arobas\cdots$\kl{""}}
-\knowledge{@}{kcommand,text=\arobas}
 
 
+\ExplSyntaxOn
+
+\makeatletter
+\let\arobas @
+\makeatother
+\knowledge{@}{kcommand,text=\arobas}
+
 
 \knowledge{tex}{text=\TeX}
 
@@ -283,6 +287,7 @@
 
 
 \knowledge{protect link}{directive}
+\knowledge{strict}{directive}
 \knowledge{emphasize}{directive}
 \knowledge{underline}{directive}
 \knowledge{up}{directive}
@@ -293,6 +298,7 @@
 \knowledge{ensuretext}{directive}
 \knowledge{ensuremath}{directive}
 \knowledge{italic}[italic=]{directive}
+\knowledge{smallcaps}[smallcaps=]{directive}
 \knowledge{lowercase}{directive}
 \knowledge{uppercase}{directive}
 \knowledge{mathord}{directive}
@@ -592,21 +598,15 @@ This is still in beta version but close to a first definitive release. A lot of
 \label{section:todo}
 This is essentially a list for personal referencing of what has to be done.
 \begin{asparaitem}
-\item make quoatation work properly in the titles of section...,
+\item deactivate quotation by default in the preamble in particular for avoiding clashes with commands such as \cs\DeclareMathDelimiter.
+\item make knowledge compatible with beamer (request of Patrick Aiyao He), probably use hypertarget and hyperlink instead of hyperlabel and hyperref.  Seems complicated because I do not know how to know if some material is going to be displayed, and this is necessary for a complete working solution.
+\item make quotation work properly in the titles of section...,
 \item allow to protect quotation in commands, and not only environments (for instance xymatrix)
 \item remove the warnings about redefining commands
-\item give detail on where appear the multiple introduction of the same knowledge
 \item proper mathematics handling. Write a new \csintro{\NewDocumentCommand}-like macro
 \item detect using some trick that the previous compilation failed, and deactivate the Kaux file in this case
  (for the moment, removing the aux file deactivates the kaux file. This is convenient but not sufficient.)
 \item proper code for \cs{\nointro}.
-\item Solve the problem of \cs{\kl} (and similar commands) being unknown when creating the pdf index.
-\item improve the diagnose file
-  \begin{asparaenum}
-  \item more information on the origin of errors (file/line)
-  \item help possible in it
-  \item short or long version of diagnose upon request
-  \end{asparaenum}
 \item improving the \cs{\AP} and \cs{\itemAP} commands. For the moment \cs{\AP} silently fails inside the
   optional argument of \cs{\item}, and probably elsewhere too. See how this can be improved.
 \item solve the \kl(package){amsmath} problem that \cs{\label} is deactivated in unnumbered environment, while knowledge would nevertheless like to point to the place...
@@ -685,6 +685,9 @@ This is essentially a list for personal referencing of what has to be done.
 \item[2017-10-10] Version 1.06 on "CTAN".
 \item[2017-10-15] Diagnose extended (suggested by Fabian Reiter). Minor corrections. Version 1.07 on "CTAN".
 \item[2017-10-17] Added "cyclic color" and "cyclic colors=@@option". Reorganization of the structure of the code for producing a better "CTAN" archive. Version 1.08 on "CTAN".
+\item[2018-01-31] Added the "strict" configuration option. 
+\item[2018-02-05] Added the "smallcaps" formatting directive. 
+\item[2018-02-17] Corrected incompatibility with latest version of "expl3@@package". 
 \end{compactdesc}
 \normalsize
 %\restoregeometry
@@ -1141,6 +1144,7 @@ be used in the optional parameter of \cs{\usepackage} when loading the "knowledg
 This is typically useful around, e.g. the table of contents.
 \itemAP[\kl(option){quotation}] activates the "quotation notation", which allows to use \kl{"..."}, \kl{"...@..."} and \kl{"...@...@..."}
    instead of \cs{\kl} commands and \kl{""...""}, \kl{""...@...""} and \kl{""...@...@...""} instead of the \cs{\intro} command.
+\itemAP[""strict""] is a Boolean option which, when activated turns some warnings (for instance when a knowledge is redefined) into errors.
 \itemAP[\kl{visible anchor points}] is an option that makes visible or invisible the \kl{anchor points} of the \cs{\AP} and \cs{\itemAP} commands.
 \end{description}
 
@@ -1234,6 +1238,7 @@ The general boolean \kl[\knowledge directives]{directives} are the following:
 \itemAP[\intro{emphasize}] forces the text to be emphasized using `\cs{\emph}',
 \itemAP[\intro{italic}/\intro{up}] forces/unforces italic (be it in math or text mode),
 \itemAP[\intro{boldface}/\intro{md}] forces/unforces boldface (be it in math or text mode),
+\itemAP[\intro{smallcaps}] forces small capitals,
 \itemAP[\intro{underline}] forces the text to be emphasized using `\cs{\underline}',
 \itemAP[\intro{fbox}] puts a box around the text,
 \itemAP[\intro{typewriter}] puts in typewriter font (be it in math or text mode),
@@ -1254,7 +1259,8 @@ yield the corresponding standard \TeX{} spacing features in math mode,
 \itemAP[\intro{lowercase}] puts the content in lowercase,
 \itemAP[\intro{uppercase}] puts the content in uppercase,
 \itemAP[""detokenize""]  detokenizes the content, i.e., instead of executing it provides a string that displays it (this is useful for commands),
-\itemAP[""remove space""]
+\itemAP[""remove space""] removes the spaces from the text
+\itemAP[""invisible""] prevents the rendering of the knowledge.
 \end{description}
 
 
@@ -1499,7 +1505,7 @@ These command define/modify a/the macro \cs{\variant} that uses the same syntax
 \itemAP[""unknown diagnose=@@variant""true/false] activates or deactivates the corresponding messages in the "diagnose file". True by default.
 \itemAP[""suggestion=@@variant""\{directives\}] configures the "directives" to be suggested in the "diagnose file"
 when the "knowledge" is unknown.
-\itemAP[""PDF string=@@variant""\{code\}] gives a substitute text for "hyperref@@package" to use for producing the bookmarks. This code has to be expandable. The code may use three parameters; $\sharp1$ is the main text of the command, $\sharp 2$ is the optional parameter, and $\sharp 3$ is the scope. The macro \cs{\IfNoValueTF} of the package "xparse@@package" can be used to test if the second and third arguments are present. By default, the code is \texttt{\{$\sharp1$\}}. Note that the star syntax cannot be used in this context. It the expected result cannot be achieved usinf this directive, the less convenient macro \cs{\texorpdfstring} of the "hyperref@@package" should be used.
+\itemAP[""PDF string=@@variant""\{code\}] gives a substitute text for "hyperref@@package" to use for producing the bookmarks. This code has to be expandable. The code may use three parameters; $\sharp1$ is the main text of the command, $\sharp 2$ is the optional parameter, and $\sharp 3$ is the scope. The macro \cs{\IfNoValueTF} of the package "xparse@@package" can be used to test if the second and third arguments are present. By default, the code is \texttt{\{$\sharp1$\}}. Note that the star syntax cannot be used in this context. It the expected result cannot be achieved using this directive, the less convenient macro \cs{\texorpdfstring} of the "hyperref@@package" package should be used.
 \end{compactdesc}
 \smallskip
 
@@ -2290,6 +2296,15 @@ A workaround is to use the \texttt{breaklinks} option of  \kl(package){hyperref}
 \kl{[...]}\par\noindent
 \end{code}
 
+\subsection{Problems with scope}
+
+\subsubsection{Problems in combination with \cs{\bibitem}}
+
+The "scope option" of the package triggers some analysis of the code, and restrains the structure of the code (in particular, this is because "scopes" have to be nested, and thus some not so well nested part of "LaTeX" yields error). In particular, the "scope option" does not allow to have a \cs{\section} command inside a list. However, this is what does \cs{\bibitem}.
+
+Here is a hack to treat this situation:
+
+
 \subsection{Editor}
 
 \newenvironment{pquote}{\begin{quote}}{\end{quote}}
@@ -2382,6 +2397,7 @@ If other kind of problems occur, report them to \texttt{thomas.colcombet@irif.fr
 \item[\kl{protect link}] Disables the hyperlinks inside the link.
 \item[\kl{ref=}] Links to a label inside the document.
 \item[\kl{scope=}] Choose the \kl{scope} of the definition.
+\item[\kl{smallcaps}] Forces the use of small capitals.
 \item[\kl{style=}] Links to a style.
 \item[\kl{synonym}] Is a synonym of the lastly defined \kl{knowledge}.
 \item[\kl{text=}] Changes the output text.
@@ -2409,6 +2425,7 @@ If other kind of problems occur, report them to \texttt{thomas.colcombet@irif.fr
 \item["paper"] switches to "paper mode",
 \item[\kl{protect link co} and \kl{unprotect link co}] starts and ends respectively a zone in which the "knowledge@@package" package does not create hyperlinks.
 \item[\kl{protect quotation=}\textmd{\{environment list\}}] declares a list of environment in which the "quotation notation" should be deactivated
+\item["strict"] is a Boolean which, when true, makes the compilation more restrictive by turning some of the warnings into errors (in particular in case of redefinition of knowledges).
 \item[\kl{visible anchor points=}\textmd{\{true,false\}}] makes the \kl{anchor points} either visible or invisible
 \end{compactdesc}
 \newpage