Issues

• Replace integers with the so-called big int (possibly by using Zarith)

  gfngfn/SATySFi#459 · Filter by author gfngfn opened on Sep 7, 2024
  1

• Change mandatory arguments of get-initial-context

  gfngfn/SATySFi#454 · Filter by author gfngfn opened on Sep 1, 2024
  1

• (For 0.1.0-alpha.1) Fix operator precedence and associativity

  gfngfn/SATySFi#453 · Filter by author gfngfn opened on Sep 1, 2024 · v0.1.0
  1

• Alternative texts using tagged PDFs

  gfngfn/SATySFi#441 · Filter by author gfngfn opened on Jun 3, 2024

• Add block-fil

  gfngfn/SATySFi#440 · Filter by author gfngfn opened on May 18, 2024

• Dune build fails when camlimages.5.0.5 is installed

  gfngfn/SATySFi#424 · Filter by author TonalidadeHidrica opened on Dec 31, 2023
  3

• Is there a simple default document class for non-Japaneese documents?

  gfngfn/SATySFi#423 · Filter by author alerque opened on Dec 29, 2023
  1

• Support Unicode Variation Sequences

  enhancement
  gfngfn/SATySFi#409 · Filter by author gfngfn opened on Jun 5, 2023

• Tail-call optimization

  enhancement
  gfngfn/SATySFi#408 · Filter by author gfngfn opened on Jun 4, 2023

• Introduce base type char for Unicode code points

  enhancement
  gfngfn/SATySFi#407 · Filter by author gfngfn opened on Jun 4, 2023

• Introduce stage 2 for operations invoked during the page breaking

  gfngfn/SATySFi#406 · Filter by author gfngfn opened on Jun 4, 2023 · v0.1.0

• Support LTR/RTL

  gfngfn/SATySFi#405 · Filter by author gfngfn opened on Jun 4, 2023 · v0.1.0

• Change how paddings are specified as to {inline,block}-frame-breakable

  gfngfn/SATySFi#404 · Filter by author gfngfn opened on Jun 4, 2023 · v0.1.0

• (For 0.1.0-alpha.1) Arrange the spec of config files for hyphenation and Unicode-aware typesetting

  gfngfn/SATySFi#403 · Filter by author gfngfn opened on Jun 4, 2023 · v0.1.0

• Distinguish the so-called \textstyle from \displaystyle

  enhancement
  gfngfn/SATySFi#402 · Filter by author gfngfn opened on Jun 4, 2023

• Add an option for emitting errors in JSON

  enhancement
  gfngfn/SATySFi#400 · Filter by author gfngfn opened on Jun 4, 2023

• Develop the package system #369

  gfngfn/SATySFi#399 · Filter by author gfngfn opened on Jun 4, 2023 · v0.1.0

• Migrate from OCamlLex to Sedlex for Unicode-aware lexing

  gfngfn/SATySFi#398 · Filter by author gfngfn opened on Jun 4, 2023 · v0.1.0

• Introduce “open record types” and use them for formalizing contexts and states

  gfngfn/SATySFi#397 · Filter by author gfngfn opened on Jun 4, 2023

• Support Unicode IVS (i.e. support cmap of Format 14)

  enhancement
  gfngfn/SATySFi#396 · Filter by author gfngfn opened on Jun 4, 2023

• rename Alist to SnocList, RevList, or other well-known name

  gfngfn/SATySFi#390 · Filter by author leque opened on Jan 7, 2023
  3

• record punning

  gfngfn/SATySFi#359 · Filter by author leque opened on Sep 22, 2022

• record patterns

  gfngfn/SATySFi#358 · Filter by author leque opened on Sep 22, 2022

• Delete merged branches

  gfngfn/SATySFi#331 · Filter by author leque opened on Aug 3, 2022
  2

• Displayed maths in +proof collapse in some cases

  gfngfn/SATySFi#326 · Filter by author gfngfn opened on May 5, 2022
  3