Ross,
> From: Ross Moore <[EMAIL PROTECTED]>
> Date: Sat, 27 Jun 1998 10:03:43 +1000 (EST)
> >
> > Apologies if you aren't the person to write about this.
> > When I use latex2html version 98.1 I get an error message:
> >
> Yes, writing to me is fine.
> Better is to write to the discussion list: [EMAIL PROTECTED]
>
> The current version of LaTeX2HTML is v98.2 beta,
> released yesterday. You problem may already be fixed in that.
>
> ...but let's have a look anyway.
>
> > Reading ...
> > %%%%%%%%%%%%,,,,,,,/\\(\)|\\(HLINE|var|gobble|code|UNSPACEFORBOX)(([^a-zA-Z
> > \t])|[ \t]+|$)/: unmatched () in regexp at
> > /home/larch/people/leavens/unsup-src/latex2html/latex2html line 7449.
>
> That regexp is formed from the commands that are defined in your document,
> using \newcommand \renewcommand \providecommand and \def
>
> The first part: \\(\) looks wrong to me.
> It ought to be \\(\\) or \\(\)) or something else quite different.
>
> Do you redefine \\ or \) within your document at any stage ?
No.
The problem seems to be caused by the following definition, which I'm
using for context-free grammars.
\def\|{$\vert$}
> If not, then confine the redefinition to only LaTeX, as follows:
>
> %begin{latexonly}
> \newcommand{\\}{...whatever...}
> %end{latexonly}
Thatt doesn't help, but commenting this \def out does work.
> If this, or something similar, avoids your problem then please tell me.
> Indeed tell me if it does not...
> ... and mail me the LaTeX code that is/was going wrong,
> so I can build a trap to avoid the problem in future.
A small latex file that causes the problem is below.
Thanks for the help.
Gary
% -*- LaTeX -*- mode for emacs
\documentclass[11pt]{article}
%\batchmode
%% macros for the syntax appendix
\def\|{$\vert$}
\def\gobble#1{}
% \obeyspaces
{\obeyspaces\gdef {\hbox{\hskip0.5em}}}
\begin{document}
\title{Preliminary Design of JML}
\author{Gary T. Leavens\thanks{
The work of Leavens and Ruby is supported in part by
a grant from Rockwell International Corporation
and by NSF grant CCR-9503168.
The work of Leavens and Baker is supported in part by
the NSF grant CCR 9803843.
},
Albert L. Baker, and Clyde Ruby \\
Department of Computer Science, 226 Atanasoff Hall \\
Iowa State University, Ames, Iowa 50011-1040 USA \\
[EMAIL PROTECTED], [EMAIL PROTECTED], [EMAIL PROTECTED]
}
\maketitle
\begin{abstract}
JML is a behavioral interface specification language tailored to Java.
It is designed to be used by working software engineers,
and requires only modest mathematical training.
To achieve this goal, JML uses Eiffel-style assertion syntax
combined
with the model-based approach to specifications typified by VDM and Larch.
However, JML supports quantifiers, specification-only variables,
frame conditions, and other enhancements
that make it more expressive for specification than Eiffel.
This paper discusses the goals of JML, the overall approach,
and describes the language through examples.
It is intended for readers who have some familiarity with both Java
and behavioral specification using pre- and postconditions.
\end{abstract}
\section{Introduction}
Blah blah.
\end{document}
