summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/packages/stex-idesetup.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2023-03-21 20:51:05 +0000
committerKarl Berry <karl@freefriends.org>2023-03-21 20:51:05 +0000
commit8581c3ea62b08305b6e6ea2b355aedc17b91494c (patch)
tree8d1b6db1fd6a091f44cc9e8842042c7d2ed7ffc8 /Master/texmf-dist/doc/latex/stex/packages/stex-idesetup.tex
parent552c2f99479d2f8c84a188cc03d22adad630de0e (diff)
stex (21mar23)
git-svn-id: svn://tug.org/texlive/trunk@66640 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/packages/stex-idesetup.tex')
-rw-r--r--Master/texmf-dist/doc/latex/stex/packages/stex-idesetup.tex61
1 files changed, 0 insertions, 61 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/packages/stex-idesetup.tex b/Master/texmf-dist/doc/latex/stex/packages/stex-idesetup.tex
deleted file mode 100644
index b4d495b6281..00000000000
--- a/Master/texmf-dist/doc/latex/stex/packages/stex-idesetup.tex
+++ /dev/null
@@ -1,61 +0,0 @@
-\begin{sfragment}{Setting up the \sTeX IDE}
-
- The \sTeX IDE consists of two components using the
- \emph{Language Server Protocol (LSP)}: A \emph{client}
- in the form of a VSCode extension, and a \emph{server}
- included in the \mmt system. Installing the extension will
- open up a setup routine that will guide you through the rest.
-
- \begin{sfragment}{The \sTeX VSCode Extension}
-
- If you have not already, you should first install the VSCode editor
- available at \url{https://code.visualstudio.com/}.
-
- Next, open VSCode and install the \sTeX extension by clicking on
- the \emph{extensions} menu on the very left of the VSCode window
- and searching for ``sTeX'' in the
- \emph{``Search Extensions in Marketplace''} field, as in
- \autoref{fig:install}, and clicking the \emph{Install}-button
- of the \sTeX extension by KWARC.
-
- \begin{figure}
- \begin{center}
- \includegraphics[width=0.6\textwidth]{img/vsc1.png}
- \end{center}
- \caption{Installing the \sTeX extension for VSCode}\label{fig:install}
- \end{figure}
-
- \end{sfragment}
-
- \begin{sfragment}{Setting up \mmt}
-
- Next, open any directory (\texttt{File $\to$ Open Folder...}) that contains
- a \verb|.tex|-file, and a setup window as in \autoref{fig:setup}
- will pop up. Clik on the highlighted link `\emph{here}' and download
- the latest version of the \texttt{MMT.jar} file (at least version 23.0.0)
- anywhere you like. Then click the \emph{``Browse...''}-button
- and select your freshly downloaded \texttt{MMT.jar}.
-
- If you have already set a system variable for your MathHub-directory,
- you are now done and can click \emph{``Finish''}. If you have not,
- you can now also enter a directory path in the lower text field,
- and the VSCode extension will attempt to globally set one up
- for you, depending on your operating system.
-
- \begin{figure}
- \begin{center}
- \includegraphics[width=\textwidth]{img/vsc2.png}
- \end{center}
- \caption{\sTeX Setup Routine}\label{fig:setup}
- \end{figure}
-
- Once you click \emph{``Finish''}, the client will connect
- to \url{https://stexmmt.mathhub.info/:sTeX}, query for
- available archives, download the core libraries required
- for all (or most) semantic services (\texttt{MMT/urtheories}
- and \texttt{sTeX/meta-inf}) and set up \RusTeX for you
- automatically.
-
- \end{sfragment}
-
- \end{sfragment} \ No newline at end of file