% I seguenti file di macro comprendono i segni diacritici e altri caratteri % speciali per alcuni differenti tipi di codifica. Scegliete quello % che si adatta meglio al vostro sistema. \‘E definita la macro % ‘\Cstringchars’. \input ecma94.sty % ISO 8859-1/ECMA-94/Latin-1 %\input hp8.sty % HP Roman 8 %\input mac8.sty % Macintosh 8-bit font %\input pc850.sty % IBM PC International Codepage 850

\def\.#1{\leavevmode\hbox{\tentex % typewriter type for strings \Cstringchars % special characters in a string \let\\=\BS % backslash in a string \let\{=\LB % left brace in a string \let\=\RB % right brace in a string \let\~=\TL % tilde in a string \let\ =\SP % space in a string \let\_=\UL % underline in a string \let\&=\AM % ampersand in a string \let\^=\CF % circumflex in a string #1\kern.05em

\def\postATL#1 #2 {\bf lettera \\{\uppercase{\char"#1 tangles as \tentex "#2"\egroup\par \def\ATH{\X\kern-.5em:Definizioni preprocessore\X

\def\A{\note{Vedi anche sezione % xref for doubly defined section name \def\As{\note{Vedi anche sezioni % xref for multiply defined section name

\def\ET{ e~ % conjunction between two section numbers \def\ETs{ e~ % conjunction between the last two of several section numbers

\def\Q{\note{Questo codice \‘e citato nella sezione % xref for mention of a section \def\Qs{\note{Questo codice \‘e citato nelle sezioni % xref for mentions of a section

\def\U{\note{Questo codice \‘e usato nella sezione % xref for use of a section \def\Us{\note{Questo codice \‘e usato nelle sezioni % xref for uses of a section

\gtitle={Output \.{CWEB % this running head is reset by starred sections \mark{\noexpand\nullsec0{\the\gtitle

\def\ch{\note{Le seguenti sezioni sono state modificate tramite il change-file: \let\*=\relax

\def\inx{\par\vskip6pt plus 1fil % we are beginning the index \def\page{\box255 \normalbottom \write\cont{ % ensure that the contents file isn’t empty \write\cont{\catcode ‘\noexpand\1=2\relax % \makeatother \closeout\cont % the contents information has been fully gathered \output{\ifpagesaved\normaloutput{\box\sbox\lheader\rheader\fi \global\setbox\sbox=\page \global\pagesavedtrue \pagesavedfalse \eject % eject the page-so-far and predecessors \setbox\sbox\vbox{\unvbox\sbox % take it out of its box \vsize=\pageheight \advance\vsize by -\ht\sbox % the remaining height \hsize=.5\pagewidth \advance\hsize by -10pt % column width for the index (20pt between cols) \parfillskip 0pt plus .6\hsize % try to avoid almost empty lines \def\lr{L % this tells whether the left or right column is next \output{\if L\lr\global\setbox\lbox=\page \gdef\lr{R \else\normaloutput{\vbox to\pageheight{\box\sbox\vss \hbox to\pagewidth{\box\lbox\hfil\page\lheader\rheader \global\vsize\pageheight\gdef\lr{L\global\pagesavedfalse\fi \message{Indice Analitico: \parskip 0pt plus .5pt \outer\def\I##1, {\par\hangindent2em\noindent##1:\kern1em % index entry \def\[##1]{$\underline{##1$ % underlined index item \rm \rightskip0pt plus 2.5em \tolerance 10000 \let\*=\lapstar \hyphenpenalty 10000 \parindent0pt \readindex

\def\fin{\par\vfill\eject % this is done when we are ending the index \ifpagesaved\null\vfill\eject\fi % output a null index column \if L\lr\else\null\vfill\eject\fi % finish the current page \parfillskip 0pt plus 1fil \def\grouptitle{NOMI DELLE SEZIONI \let\topsecno=\nullsec \message{Nomi delle sezioni: \output={\normaloutput\page\lheader\rheader \setpage \def\note##1##2.{\quad{\eightrm##1~##2. \def\Q{\note{Citato nella sezione % crossref for mention of a section \def\Qs{\note{Citato nelle sezioni % crossref for mentions of a section \def\U{\note{Usato nella sezione % crossref for use of a section \def\Us{\note{Usato nelle sezioni % crossref for uses of a section \def\I{\par\hangindent 2em\let\*=* \readsections \def\con{\par\vfill\eject % finish the section names % \ifodd\pageno\else\titletrue\null\vfill\eject\fi % for duplex printers \rightskip 0pt \hyphenpenalty 50 \tolerance 200 \setpage \output={\normaloutput\page\lheader\rheader \titletrue % prepare to output the table of contents \pageno=\contentspagenumber \def\grouptitle{INDICE \message{Indice: \topofcontents \line{\hfil Sezione\hbox to3em{\hss Pag. \let\ZZ=\contentsline \readcontents\relax % read the contents info \botofcontents \end % print the contents page(s) and terminate \def\today{\number\day\space\ifcase\month\or gennaio\or febbraio\or marzo\or aprile\or maggio\or giugno\or luglio\or agosto\or settembre\or ottobre\or novembre\or dicembre\fi \space\number\year \newcount\twodigits \def\datethis{\def\startsection{\leftline{\sc\today, ore \hours\bigskip \let\startsection=\stsec\stsec % say ‘\datethis’ in limbo, to get your listing timestamped before section 1 \def\datecontentspage{% \def\topofcontents{\leftline{\sc\today, ore \hours\bigskip \centerline{\titlefont\title\vfill % timestamps the contents page


This document was generated on July 22, 2024 using texi2html 5.0.