From 7cdde8edc70d60ef35a043ed754d010dbde4f900 Mon Sep 17 00:00:00 2001 From: Richard Zach Date: Sat, 1 Feb 2020 20:59:33 -0700 Subject: [PATCH] work around a problem with answer.sty; see #228 --- misc/index.start.html | 6 +++--- sty/open-logic-defer.sty | 2 ++ 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/misc/index.start.html b/misc/index.start.html index fd604bfd..42a4a8b8 100644 --- a/misc/index.start.html +++ b/misc/index.start.html @@ -126,14 +126,14 @@

Incompleteness and Computabil repository. -

Boxes and Diamonds

+

Boxes and Diamonds

-

A textbook for modal and other intensional logics based on the Open Logic Project; includes the material on normal modal logic, +

A textbook for modal and other intensional logics based on the Open Logic Project; includes the material on normal modal logic, intutionistic logic, and counterfactuals, with appendices on basic set theory and classical propositional logic.

    -
  • bd-screen +
  • bd-screen for screen reading (color, smaller margins, low-res images)
  • Source code for generating this textbook is on GitHub in a separate diff --git a/sty/open-logic-defer.sty b/sty/open-logic-defer.sty index f157902d..99846642 100644 --- a/sty/open-logic-defer.sty +++ b/sty/open-logic-defer.sty @@ -109,6 +109,8 @@ % - `\collectproblems`: execute this in the preamble to arrange for % the printing of problems explicitly, e.g., at the end of the book +\def\nobreak{\penalty\@M} % needed to fix problem with answers.sty + \newcommand{\collectproblems}{% % at the end of every \chapter command, write a section header into % the .prb file and reset counters