%Redefines \{ and \} to be in \tt font and \| to make a BACKSLASH \def\ttbraces{\chardef\{=`\{\chardef\}=`\}\chardef\|=`\\}
%Restores % as the comment character (especially, to suppress line breaks) \newcommand\comments{\catcode`\%=14\relax}
%alltt* environment: like alltt but smaller, and with \{ \} and \| as in ttbox \newenvironment{alltt*}{\begin{alltt}\footnotesize\ttbraces}{\end{alltt}}
%Indented alltt* environment with small point size %NO LINE BREAKS are allowed unless \pagebreak appears at START of a line \newenvironment{ttbox}{\begin{quote}\samepage\begin{alltt*}}%
{\end{alltt*}\end{quote}}
\chardef\ttilde=`\~% A tilde for \tt font \chardef\ttback=`\\% A backslash for \tt font \chardef\ttlbrace=`\{% A left brace for \tt font \chardef\ttrbrace=`\}% A right brace for \tt font \chardef\ttlbrack=`\[% A left bracket for \tt font \chardef\ttrbrack=`\]% A right bracket for \tt font
\newcommand\out{\ \ttfamily\slshape} %% for output from terminal sessions
\endinput
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet am 2026-04-26)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
