diff options
Diffstat (limited to 'macros/latex/contrib/stex/doc/stex-ide.tex')
-rw-r--r-- | macros/latex/contrib/stex/doc/stex-ide.tex | 155 |
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 |