Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chapters/16: Fix erratum in section 9. #421

Open
wants to merge 1 commit into
base: docbook-prince
Choose a base branch
from

Conversation

MostAwesomeDude
Copy link

This erratum isn't previously documented AFAIK. The bridi simply don't match, but it's easy enough to copy the former to the latter and update the surrounding gloss.

I built this locally and checked the PDF version to make sure it looks right.

This erratum isn't previously documented AFAIK.
gr-g added a commit to relojban/relojban-book that referenced this pull request Oct 30, 2020
The affected example is introduced as "the prenex version" of the
previous example, so it should be in line with the previous example.

Proposed in lojban/cll#421
@lagleki lagleki added the geklojban-fixed Fixed in the latest stable geklojban release label Oct 31, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
geklojban-fixed Fixed in the latest stable geklojban release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants