[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

latex problem



The enclosed file does not compile under latex. 
Latexing the pvs-files.tex file, which includes Track.tex, produces:

(Track.tex [6]
! Missing } inserted.
<inserted text> 
                }
l.128 ...ion}(\pvsid{t?}))) \mbox{ }+\mbox{ } 1) }
                                                  ) \pvsnewline{}\\[-\baseli...

? x

Richard.

Track.tex