{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. }