Search results

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

Status: Open.

#459 In gfngfn/SATySFi;

· gfngfn opened on Sep 7, 2024

Change mandatory arguments of get-initial-context

Status: Open.

#454 In gfngfn/SATySFi;

· gfngfn opened on Sep 1, 2024

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

Status: Open.

#453 In gfngfn/SATySFi;

· gfngfn opened on Sep 1, 2024

 ·  

v0.1.0

Alternative texts using tagged PDFs

Status: Open.

#441 In gfngfn/SATySFi;

· gfngfn opened on Jun 3, 2024

Add block-fil

Status: Open.

#440 In gfngfn/SATySFi;

· gfngfn opened on May 18, 2024

Dune build fails when camlimages.5.0.5 is installed

Status: Open.

#424 In gfngfn/SATySFi;

· TonalidadeHidrica opened on Dec 31, 2023

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

Status: Open.

#423 In gfngfn/SATySFi;

· alerque opened on Dec 29, 2023

Support Unicode Variation Sequences

enhancement

Status: Open.

#409 In gfngfn/SATySFi;

· gfngfn opened on Jun 5, 2023

Tail-call optimization

enhancement

Status: Open.

#408 In gfngfn/SATySFi;

· gfngfn opened on Jun 4, 2023

Introduce base type char for Unicode code points

enhancement

Status: Open.

#407 In gfngfn/SATySFi;

· gfngfn opened on Jun 4, 2023

Introduce stage 2 for operations invoked during the page breaking

Status: Open.

#406 In gfngfn/SATySFi;

· gfngfn opened on Jun 4, 2023

 ·  

v0.1.0

Support LTR/RTL

Status: Open.

#405 In gfngfn/SATySFi;

· gfngfn opened on Jun 4, 2023

 ·  

v0.1.0