@x
  \vfill}
\pageno=\contentspagenumber \advance\pageno by 1
@y
  \centerline{(Microsoft Pascal Version 2.8.0, July 1986)}
  \vfill
  \centerline{\hsize 5in\baselineskip9pt
    \vbox{\ninerm\noindent
    The changes required to create this Microsoft Pascal version of \.{MANGLE} 
    are the portions of the sections marked with asterisks (*) below.}}}
\pageno=1
@z

@x
@d banner=='This is TANGLE, Version 2.8'
@y
For the Microsoft Pascal version of \.{MANGLE}, 
we add a second decimal point and number to the main version number, 
so we can differentiate between changes to the standard \.{TANGLE}\ 
and changes local to the Microsoft Pascal version of \.{MANGLE}. 
@d banner=='This is MANGLE, Microsoft Pascal Version 2.8.0'
@z