From 6d44c638512eb736c41551c5887b4475a14935bf Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Thu, 15 Sep 2022 03:15:34 +0000
Subject: CTAN sync 202209150315

---
 macros/latex/contrib/stex/doc/stex-docheader.tex | 101 ++++-------------------
 1 file changed, 18 insertions(+), 83 deletions(-)

(limited to 'macros/latex/contrib/stex/doc/stex-docheader.tex')

diff --git a/macros/latex/contrib/stex/doc/stex-docheader.tex b/macros/latex/contrib/stex/doc/stex-docheader.tex
index d16b19703b..c6bea9b3da 100644
--- a/macros/latex/contrib/stex/doc/stex-docheader.tex
+++ b/macros/latex/contrib/stex/doc/stex-docheader.tex
@@ -1,4 +1,5 @@
 \RequirePackage{paralist}
+\ifcsname libfolder\endcsname\else\def\libfolder#1{../lib/#1}\fi
 \documentclass[full,kernel]{l3doc}
 \usepackage[dvipsnames]{xcolor}
 \usepackage[utf8]{inputenc}
@@ -7,15 +8,14 @@
 \RequirePackage{tikzinput}
 \usetikzlibrary{fit}
 
-% \usepackage[debug=all,lang=en, mathhub=./tests]{stex}
-\usepackage[lang=en, mathhub=./tests]{stex}
-\usepackage{url,array,float,textcomp}
+\usepackage[lang=en, mathhub=./tests,debug=sref]{stex}
+\usepackage{url,array,float}
 \usepackage[show]{ed}
 \usepackage[hyperref=auto,style=alphabetic]{biblatex}
-\addbibresource{\bibfolder{kwarcpubs.bib}}
-\addbibresource{\bibfolder{extpubs.bib}}
-\addbibresource{\bibfolder{kwarccrossrefs.bib}}
-\addbibresource{\bibfolder{extcrossrefs.bib}}
+\addbibresource{\libfolder{bib/kwarcpubs.bib}}
+\addbibresource{\libfolder{bib/extpubs.bib}}
+\addbibresource{\libfolder{bib/kwarccrossrefs.bib}}
+\addbibresource{\libfolder{bib/extcrossrefs.bib}}
 \usepackage{amssymb}
 \usepackage{amsfonts}
 \usepackage{xspace}
@@ -50,7 +50,9 @@
       \\symbolname,\\binarysymbol,\\newbinarysymbol,\\addition,
       \\summation,\\ascendingchain,\\quantforall,\\set,\\funtype,
       \\Nat,\\successor,\\multiplication,\\Int,\\zero,\\uminus,
-      \\intmonoid
+      \\intmonoid,\\divides,\\intpow,\\ratfrac,\\ratpow,\\inttimes,
+      \\inset,\\eq,\\rational,\\irrational,\\coprime,\\PosInt,
+      \\realroot
   },	
   classoffset=2,keywordstyle=\color{blue},morekeywords={
     \\symdecl,\\symdef,\\notation,\\vardef,\\varseq,\\instantiate,
@@ -64,11 +66,11 @@
   classoffset=4,keywordstyle=\color{Purple},morekeywords={
     \\definiendum,\\definame,\\symref,\\symname,\\comp,
     \\compemph,\\definiens,\\svar,\\infprec,\\neginfprec,\\ellipses,
-    \\Symname,\\arg
+    \\Symname,\\arg,\\yield,\\assumption,\\spfstep,\\eqstep,\\conclude
   },
   classoffset=5,keywordstyle=\color{magenta},morekeywords={
     smodule,sdefinition,sassertion,sparagraph,sexample,
-    sproof,subproof,spfcases,spfcase,spfstep,spfcomment,
+    sproof,subproof,spfcases,spfcase,spfstep,spfcomment,spfblock,
     \\spfidea,\\spfsketch,\\spfcasesketch,\\sproofend,
     \\spfjust,\\premise,\\justarg,
     copymodule,interpretmodule,mathstructure,sexample
@@ -88,57 +90,12 @@
   },
   classoffset=8,keywordstyle=\color{red},morekeywords={
     frame,note
+  },
+  classoffset=9,keywordstyle=\color{gray},morekeywords={
+    \\vara,\\varb,\\varc
   }
 }
 
-%\lstdefinestyle{mylatex}{	
-%	keywordstyle=\color{BurntOrange}
-%}
-%\lstdefinelanguage{mylatex}{
-%	emphstyle=\underbar,
-%	alsodigit={:},
-%	%alsoletter={_},
-%	alsoletter={\\}
-%	sensitive=true,
-%	classoffset=0,keywordstyle=\bfseries,
-%	morekeywords={\\begin,\\end,\\ExplSyntaxOn,\\ExplSyntaxOff},	
-%	classoffset=1,keywordstyle=\color{blue},
-%	morekeywords={
-%		\\symdecl,
-%		\\symdef,
-%		\\notation,
-%		\\abbrdef,
-%		\\importmodule,
-%		\\usemodule,
-%		\\STEXwithbrackets,
-%		\\symref
-%	},
-%	classoffset=2,keywordstyle=\color{Purple},
-%	morekeywords={
-%		\\stex_path_from_string:Nn,
-%		\\stex_path_to_string:NN,
-%		\\stex_path_to_string:N,
-%		\\stex_require_repository:n,
-%		\\stex_modules_current_namespace:,
-%		\\stex_debug:n,
-%		\\stex_set_current_repository:n,
-%		\\stex_file_in_smsmode:nn,
-%		\\stex_get_symbol:n,
-%	},
-%	classoffset=3,keywordstyle=\color{SkyBlue},
-%	morekeywords={
-%		\\l_stex_module_ns_str,
-%		\\g_stex_currentfile_seq,
-%		\\l_stex_current_module_prop,
-%		\\l_stex_get_symbol_uri_str,
-%	}
-%	classoffset=0,
-%%^^A	morecomment=[l][\color{Gray}]{//},
-%%^^A	morecomment=[s][\color{Gray}]{/*}{*/},
-%	morecomment=[s][\color{Green}]{$}{$},,
-%	morecomment=[s][\color{OliveGreen}]{\\[}{\\]},
-%^^A  morestring=[b][\color{Purple}]\$,
-%}
 \lstnewenvironment{latexcode}[1][]{\lstset{language=sTeX,#1}}{}
 
 \def\stexcode{\lstinline[language=sTeX]}
@@ -183,28 +140,6 @@
   outer arc=4pt
 }
 
-
-%\newtcolorbox{exampleborderbox}{
-%  enhanced,
-%  left=0pt,
-%  title={Example \the\example@counter},
-%  right=0pt,
-%  top=8pt,
-%  bottom=8pt,
-%  colback=white,
-%  colframe=blue,
-%  width=\textwidth,
-%  enlarge left by=0mm,
-%  boxsep=5pt,
-%  fontupper=\small,
-%  arc=4pt,
-%  outer arc=4pt,
-%  leftupper=1.5cm,
-%  fonttitle=\bfseries,
-%  coltitle=blue,
-%  boxed title style={empty,size=minimal,toprule=0pt,top=1pt,left=3mm,overlay={}},
-%}
-
 \newenvironment{example@border}
 {
   \global\advance\example@counter by 1
@@ -262,7 +197,7 @@
     Output:
     
     \begin{stextest@output}
-      \input{stextest.tex}
+      \csname @ @ input\endcsname{stextest.tex}
     \end{stextest@output}
   \end{example@border}
 }
@@ -371,7 +306,7 @@
 \def\atwintoo#1#2#3{{#1 #2 #3}\atwin{#1}{#2}{#3}}
 \def\cT{\mathcal{T}}\def\cD{\mathcal{D}}
 
-\def\fileversion{3.1}
+\def\fileversion{3.2}
 \def\filedate{\today}
 
 \RequirePackage{pdfcomment}
@@ -446,4 +381,4 @@
 \end{mdframed}\end{remarkbox}\endlist
 }
 
-\usepackage{rustex}
+\usepackage{rustex}
\ No newline at end of file
-- 
cgit v1.2.3

