{Adapting ProofCheck to the author's needs}
{Bob Neveln \& Bob Alps}
{ProofCheck is a system for writing and checking
mathematical proofs. Theorems and proofs are contained in a
plain {\TeX} or {\LaTeX} document. Parsing and proof checking are
accomplished through Python programs which read the source
file. Although the use of these programs has never been
restricted to any particular logical or mathematical language,
the work required to actually implement an author's choices in
these matters, especially in the logic, and to make
the necessary modifications of the supporting files
has been sufficiently laborious as to pose an obstacle
to the use of ProofCheck.
This paper describes updates to the system whose purpose is to
alleviate these labors to the extent possible
so as to facilitate
the use of ProofCheck in a logical and linguistic setting
of the author's choice.
}