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.

Sign up for GitHub

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

Jump to bottom

A confusion of the name usage. #509

Open
Oheto opened this issue Jan 9, 2024 · 0 comments
Open

A confusion of the name usage. #509

Oheto opened this issue Jan 9, 2024 · 0 comments
Labels
geklojban-fixed Fixed in the latest stable geklojban release geklojban-issue Unofficial edition of the CLL

Comments

@Oheto
Copy link

Oheto commented Jan 9, 2024

Describe the current content
In section 14.13, the name "Fido" is used in examples 14.92 to 14.98. Examples 14.99 to 14.103 use the name "Alice". Also example 14.99 links to example 14.96 as a translation of it.
Screenshot from 2024-01-09 07-50-06

Screenshot from 2024-01-09 07-50-21

Proposed content
Use only one name.
lagleki added a commit that referenced this issue Oct 12, 2024
@lagleki
fix #509
33d516a
@lagleki lagleki added geklojban-fixed Fixed in the latest stable geklojban release geklojban-issue Unofficial edition of the CLL labels Oct 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
geklojban-fixed Fixed in the latest stable geklojban release geklojban-issue Unofficial edition of the CLL
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lagleki @Oheto