summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/doc/stex-ide.tex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex/doc/stex-ide.tex')
-rw-r--r--macros/latex/contrib/stex/doc/stex-ide.tex155
1 files changed, 0 insertions, 155 deletions
diff --git a/macros/latex/contrib/stex/doc/stex-ide.tex b/macros/latex/contrib/stex/doc/stex-ide.tex
deleted file mode 100644
index a563d277fb..0000000000
--- a/macros/latex/contrib/stex/doc/stex-ide.tex
+++ /dev/null
@@ -1,155 +0,0 @@
-\ifcsname ifinfulldoc\endcsname\else
- \expandafter\newif\csname ifinfulldoc\endcsname\infulldocfalse
-\fi
-\ifcsname ifinidedoc\endcsname\else
- \expandafter\newif\csname ifinidedoc\endcsname\inidedoctrue
-\fi
-
-\ifinidedoc
-\input{stex-docheader}
-
-
-\begin{document}
-
- \title{
- The {\stex} VSCode IDE
- \thanks{Version {\fileversion} (last revised {\filedate})}
- }
- \author{Michael Kohlhase, Dennis Müller\\
- FAU Erlangen-Nürnberg\\
- \url{http://kwarc.info/}
- }
- \pagenumbering{roman}
- \maketitle
-
- This is the user manual for the \sTeX Plugin for VSCode, available at
- \url{https://marketplace.visualstudio.com/items?itemName=kwarc.stexide}.
- For the manual for the \sTeX package itself, see \href{\basedocurl/stex-manual.pdf}{the \sTeX{}3 Manual}.
-
- \makeatletter
- \renewcommand\part{%
- \clearpage
- \thispagestyle{plain}%
- \@tempswafalse
- \null\vfil
- \secdef\@part\@spart%
- }
- \newcounter{chapter}
- \numberwithin{section}{chapter}
- \renewcommand\thechapter{\@arabic\c@chapter}
- \renewcommand\thesection{\thechapter.\@arabic\c@section}
- \newcommand*\chaptermark[1]{}
- \setcounter{secnumdepth}{2}
- \newcommand\@chapapp{\chaptername}
- %\newcommand\chaptername{Chapter}
- \def\ps@headings{%
- \let\@oddfoot\@empty
- \def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
- \let\@mkboth\markboth
- \def\chaptermark##1{%
- \markright{\MakeUppercase{%
- \ifnum \c@secnumdepth >\m@ne
- \@chapapp\ \thechapter. \ %
- \fi
- ##1}}%
- }%
- }
- \newcommand\chapter{\clearpage
- \thispagestyle{plain}%
- \global\@topnum\z@
- \@afterindentfalse
- \secdef\@chapter\@schapter%
- }
- \def\@chapter[#1]#2{\refstepcounter{chapter}%
- \typeout{\@chapapp\space\thechapter.}%
- \addcontentsline{toc}{chapter}%
- {\protect\numberline{\thechapter}#1}%
- \chaptermark{#1}%
- \addtocontents{lof}{\protect\addvspace{10\p@}}%
- \addtocontents{lot}{\protect\addvspace{10\p@}}%
- \@makechapterhead{#2}%
- \@afterheading%
- }
- \def\@makechapterhead#1{%
- \vspace*{50\p@}%
- {\parindent \z@ \raggedright \normalfont
- \huge\bfseries \@chapapp\space \thechapter
- \par\nobreak
- \vskip 20\p@
- \interlinepenalty\@M
- \Huge \bfseries #1\par\nobreak
- \vskip 40\p@
- }%
- }
-\newcommand*\l@chapter[2]{%
- \ifnum \c@tocdepth >\m@ne
- \addpenalty{-\@highpenalty}%
- \vskip 1.0em \@plus\p@
- \setlength\@tempdima{1.5em}%
- \begingroup
- \parindent \z@ \rightskip \@pnumwidth
- \parfillskip -\@pnumwidth
- \leavevmode \bfseries
- \advance\leftskip\@tempdima
- \hskip -\leftskip
- #1\nobreak\hfil
- \nobreak\hb@xt@\@pnumwidth{\hss #2%
- \kern-\p@\kern\p@}\par
- \penalty\@highpenalty
- \endgroup
- \fi}
-\renewcommand*\l@section{\@dottedtocline{1}{1.5em}{2.8em}}
-\renewcommand*\l@subsection{\@dottedtocline{2}{3.8em}{3.2em}}
-\renewcommand*\l@subsubsection{\@dottedtocline{3}{7.0em}{4.1em}}
-\def\partname{Part}
-\def\toclevel@part{-1}
-\def\maketitle{\chapter{\@title}}
-\let\thanks\@gobble
-\let\DelayPrintIndex\PrintIndex
-\let\PrintIndex\@empty
-\providecommand*{\hexnum}[1]{\text{\texttt{\char`\"}#1}}
-\makeatother
-
-\ExplSyntaxOn
-\int_set:Nn \l_document_structure_section_level_int {1}
-\ExplSyntaxOff
-
-\clearpage
-
-{%
- \def\\{:}% fix "newlines" in the ToC
- \tableofcontents
-}
-
-\clearpage
-\pagenumbering{arabic}
-
-\long\def\ignore#1{}
-
-\input{packages/stex-setup}
-\input{packages/stex-idesetup}
-
-\fi
-
-
-
-
-\ifinidedoc
-\newpage
-\printbibliography
-\end{document}
-\fi
-
-
-%%% Local Variables:
-%%% mode: latex
-%%% TeX-master: t
-%%% End:
-
-% LocalWords: stex-docheader infulldoctrue l@subsubsection toclevel@part ExplSyntaxOff
-% LocalWords: l_document_structure_section_level_int dangerbox mmtbox omdoc OBJref lmh
-% LocalWords: own:fifom MueRabRot:rslffml20 sec.stexarchives stex-mathhub ngerman a,b
-% LocalWords: Metatheory sec.customhighlight sproof stexthm xspace stexpatchmodule
-% LocalWords: stexpatchexample stexpatchparagraph sexampleid amsthm sassertiontitle
-% LocalWords: sdefinitiontitle compemph varemph srefsymuri stex-hwexam TeXLive:on tlmgr
-% LocalWords: stexls:on,stexls-vscode-plugin:on