Skip to content

Issues: gfngfn/SATySFi

New issue

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

#

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

Already on GitHub? # to your account

87 Open 80 Closed
87 Open 80 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Replace integers with the so-called big int (possibly by using Zarith)
#459 opened Sep 7, 2024 by gfngfn
Change mandatory arguments of get-initial-context
#454 opened Sep 1, 2024 by gfngfn
(For 0.1.0-alpha.1) Fix operator precedence and associativity
#453 opened Sep 1, 2024 by gfngfn v0.1.0
Alternative texts using tagged PDFs
#441 opened Jun 3, 2024 by gfngfn
Add block-fil
#440 opened May 18, 2024 by gfngfn
Dune build fails when camlimages.5.0.5 is installed
#424 opened Dec 31, 2023 by TonalidadeHidrica
3
Is there a simple default document class for non-Japaneese documents?
#423 opened Dec 29, 2023 by alerque
1
Support Unicode Variation Sequences enhancement
#409 opened Jun 5, 2023 by gfngfn
1
Tail-call optimization enhancement
#408 opened Jun 4, 2023 by gfngfn
Introduce base type char for Unicode code points enhancement
#407 opened Jun 4, 2023 by gfngfn
1
Introduce stage 2 for operations invoked during the page breaking
#406 opened Jun 4, 2023 by gfngfn v0.1.0
Support LTR/RTL
#405 opened Jun 4, 2023 by gfngfn v0.1.0
Change how paddings are specified as to {inline,block}-frame-breakable
#404 opened Jun 4, 2023 by gfngfn v0.1.0
(For 0.1.0-alpha.1) Arrange the spec of config files for hyphenation and Unicode-aware typesetting
#403 opened Jun 4, 2023 by gfngfn v0.1.0
Distinguish the so-called \textstyle from \displaystyle enhancement
#402 opened Jun 4, 2023 by gfngfn
Add an option for emitting errors in JSON enhancement
#400 opened Jun 4, 2023 by gfngfn
Develop the package system #369
#399 opened Jun 4, 2023 by gfngfn v0.1.0
Migrate from OCamlLex to Sedlex for Unicode-aware lexing
#398 opened Jun 4, 2023 by gfngfn v0.1.0
Introduce “open record types” and use them for formalizing contexts and states
#397 opened Jun 4, 2023 by gfngfn
Support Unicode IVS (i.e. support cmap of Format 14) enhancement
#396 opened Jun 4, 2023 by gfngfn
rename Alist to SnocList, RevList, or other well-known name
#390 opened Jan 7, 2023 by leque
3
record punning
#359 opened Sep 22, 2022 by leque
record patterns
#358 opened Sep 22, 2022 by leque
Delete merged branches
#331 opened Aug 3, 2022 by leque
2
Displayed maths in +proof collapse in some cases
#326 opened May 5, 2022 by gfngfn
3
ProTip! Exclude everything labeled bug with -label:bug.