issues
search
gfngfn
/
SATySFi
A statically-typed, functional typesetting system
GNU Lesser General Public License v3.0
1.17k
stars
83
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add the syntax for quantifiers to value bindings
#463
gfngfn
closed
2 weeks ago
0
Adjust the interface of `Stdlib`
#462
gfngfn
closed
3 weeks ago
0
Add `--verbose` and `--quiet`
#461
gfngfn
closed
3 weeks ago
0
Fix `PackageConstraintSolver` about name clashes of packages from different registries
#460
gfngfn
closed
3 weeks ago
0
Replace integers with the so-called big int (possibly by using Zarith)
#459
gfngfn
opened
4 weeks ago
0
Refactor configs and paths
#458
gfngfn
closed
3 weeks ago
0
Refactor `sapheMain.ml`
#457
gfngfn
closed
4 weeks ago
0
Modify cache file organization and add subcommand `saphe cache list`
#456
gfngfn
closed
4 weeks ago
0
Introduce the intermediate directory for deps configs and dump files
#455
gfngfn
closed
1 month ago
0
Change mandatory arguments of `get-initial-context`
#454
gfngfn
opened
1 month ago
0
(For 0.1.0-alpha.1) Fix operator precedence and associativity
#453
gfngfn
opened
1 month ago
0
Refine dump files
#452
gfngfn
closed
1 month ago
0
Refine testing mechanism
#451
gfngfn
closed
1 month ago
0
(For 0.1.0-alpha.1) Refine `Stdlib`’s interface
#450
gfngfn
closed
1 month ago
0
fix duplication of font-latin-bold
#449
ghaaj
closed
1 month ago
1
Fix Opam Dependency Submission workflow
#448
smorimoto
closed
2 months ago
3
Cleanup
#447
smorimoto
closed
2 months ago
8
`Pervasives` -> `Stdlib`
#446
smorimoto
closed
2 months ago
6
Prepare for Better Windows Support
#445
smorimoto
closed
3 months ago
1
Set versions to `0.1.0-alpha.1`
#444
gfngfn
closed
3 months ago
0
Allow external dependencies in registries
#443
gfngfn
closed
3 months ago
0
Support transparent PNG images
#442
nsfisis
closed
3 months ago
1
Alternative texts using tagged PDFs
#441
gfngfn
opened
4 months ago
0
Add `block-fil`
#440
gfngfn
opened
4 months ago
0
Optimise list operations by maintaining reversed accumulator
#439
ghost
closed
5 months ago
0
Update GitHub Actions
#438
smorimoto
closed
4 months ago
1
Remove `~/.saphe/unidata/` and develop `unidata` package
#437
gfngfn
closed
6 months ago
0
Develop how to load files in packages and use it for handling hyphenation dictionaries
#436
gfngfn
closed
6 months ago
0
Separate `eval_document_file` to `BuildDocument` module
#435
kyori19
closed
6 months ago
1
Support semver prerelease
#434
gfngfn
closed
6 months ago
0
Modify the registry format
#433
gfngfn
closed
6 months ago
0
Separate `ErrorReporting` from `frontend/main.ml`
#432
kyori19
closed
6 months ago
1
fix mitou-report numbering bug
#431
mtshiba
closed
7 months ago
1
Change the package config format
#430
gfngfn
closed
7 months ago
0
Introduce `local` packages to Saphe
#429
gfngfn
closed
7 months ago
0
Release 0.0.11
#428
gfngfn
closed
8 months ago
0
Add OCaml 5
#427
y-yu
closed
8 months ago
0
Improve dependencies in configs
#426
gfngfn
closed
8 months ago
0
Avoid `camlimages.5.0.5` for an installation issue
#425
gfngfn
closed
9 months ago
0
Dune build fails when `camlimages.5.0.5` is installed
#424
TonalidadeHidrica
opened
9 months ago
3
Is there a simple default document class for non-Japaneese documents?
#423
alerque
opened
9 months ago
1
Separate `saphe` from `satysfi`
#422
gfngfn
opened
9 months ago
0
Allow importing submodules in use statement
#421
kyori19
closed
10 months ago
1
Discard `OptionState`
#420
gfngfn
closed
10 months ago
0
Generate `version.ml` from `satysfi.opam` to make releasing easy
#419
y-yu
closed
8 months ago
5
Release SATySFi 0.0.10
#418
gfngfn
closed
11 months ago
0
Add split-grapheme-cluster and string normalization function
#417
puripuri2100
closed
6 months ago
3
Warn overriding of non-empty tabular cells instead of aborting
#416
gfngfn
closed
1 year ago
0
Upgrade `otfed` to `0.3.1` (which contains many fixes about handling fonts)
#415
gfngfn
closed
1 year ago
0
Assert_failure src/backend/tabular.ml:124:15"
#414
na4zagin3
closed
1 year ago
2
Next