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

Remove ~/.saphe/unidata/ and develop unidata package #437

Merged
merged 14 commits into from
Mar 30, 2024

Conversation

gfngfn
Copy link
Owner

@gfngfn gfngfn commented Mar 26, 2024

  • Add base type unicode-char-database
  • Add primitive load-unicode-char-database : string -> string -> string -> unicode-char-database
  • Add primitive set-unicode-char-database : unicode-char-database -> context -> context
  • Develop package unidata, which provides Unidata.unidata : unicode-char-database
  • Make document classes (i.e. std-ja{,-book,-report} and md-ja) use unidata
  • Abolish ~/.saphe/unidata/, install-libs.sh, --base option, etc.

@gfngfn gfngfn changed the title [WIp] Remove ~/.saphe/unidata/ and develop unidata package [WIP] Remove ~/.saphe/unidata/ and develop unidata package Mar 26, 2024
@gfngfn gfngfn marked this pull request as ready for review March 30, 2024 08:57
@gfngfn gfngfn changed the title [WIP] Remove ~/.saphe/unidata/ and develop unidata package Remove ~/.saphe/unidata/ and develop unidata package Mar 30, 2024
@gfngfn gfngfn merged commit 664ff34 into dev-0-1-0-separate-saphe-from-satysfi Mar 30, 2024
4 checks passed
@gfngfn gfngfn deleted the dev-unidata-package branch March 30, 2024 09:03
@gfngfn gfngfn mentioned this pull request Mar 30, 2024
34 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant