Giters
gfngfn
/
SATySFi
A statically-typed, functional typesetting system
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1145
Watchers:
51
Issues:
162
Forks:
81
gfngfn/SATySFi Issues
Dune build fails when `camlimages.5.0.5` is installed
Updated
2 months ago
Comments count
3
Is there a simple default document class for non-Japaneese documents?
Updated
3 months ago
Comments count
1
Assert_failure src/backend/tabular.ml:124:15"
Closed
6 months ago
Comments count
2
SATySFi 0.0.9 fails to process doc packages in Satyrographos Repo
Closed
6 months ago
Comments count
3
satysfi-dist installation fails due to URLs to math fonts being invalid
Closed
9 months ago
Comments count
3
Support Unicode Variation Sequences
Updated
10 months ago
Tail-call optimization
Updated
10 months ago
Support Unicode IVS (i.e. support `cmap` of Format 14)
Updated
10 months ago
Introduce base type `char` for Unicode code points
Updated
10 months ago
Distinguish the so-called `\textstyle` from `\displaystyle`
Updated
10 months ago
Add an option for specifying where to put the `.satysfi-aux` file
Updated
10 months ago
Migrate from OCamlLex to Sedlex for Unicode-aware lexing
Updated
10 months ago
Introduce stage 2 for operations invoked during the page breaking
Updated
10 months ago
Arrange the spec of config files for hyphenation and Unicode-aware typesetting
Updated
10 months ago
Support LTR/RTL
Updated
10 months ago
Change how paddings are specified as to `{inline,block}-frame-breakable`
Updated
10 months ago
Add an option for emitting errors in JSON
Updated
10 months ago
Develop the package system #369
Updated
10 months ago
Introduce “open record types” and use them for formalizing contexts and states
Updated
10 months ago
rename `Alist` to `SnocList`, `RevList`, or other well-known name
Updated
a year ago
Comments count
3
record punning
Updated
2 years ago
record patterns
Updated
2 years ago
When there is no text or no command after \enumerate, pagebreak error occur.
Updated
2 years ago
Comments count
3
Delete merged branches
Updated
2 years ago
Comments count
2
Displayed maths in +proof collapse in some cases
Updated
2 years ago
Comments count
3
The ID of the generated PDF changes every time and is not deterministic
Updated
2 years ago
Comments count
6
Inputting an empty file leads to an unfriendly message
Closed
2 years ago
Comments count
1
Awkward spacing at the beggining of a math equation
Closed
2 years ago
Comments count
1
Cannot report code positions for some error
Updated
2 years ago
Comments count
1
How about releasing v0.0.7
Closed
2 years ago
Comments count
2
Proposal: change regexp backend
Updated
2 years ago
Comments count
2
Lexer error cuts input within a codepoint
Updated
2 years ago
Comments count
3
Error positions should be reported in characters not in bytes
Updated
2 years ago
Proposal: Line numbers in error messages should follow the GNU style (or other famous format)
Updated
2 years ago
Comments count
1
Additional branch to maintain v0.0.6
Updated
2 years ago
Comments count
7
Math expressions with primes, superscripts, and subscripts are sometimes parsed wrong
Closed
2 years ago
Comments count
5
Unusual operator associativity and precedence
Updated
2 years ago
Comments count
1
Editing `path` from user library
Updated
2 years ago
Comments count
1
Cannot rebind `before`
Updated
2 years ago
Proposal: `not` should not be an operator
Updated
2 years ago
Getting natural length of pictures
Updated
2 years ago
Comments count
1
Math commands \bar and \tilde
Updated
2 years ago
Comments count
2
`depext` dependency looks obsoleted
Closed
3 years ago
Comments count
1
Grammar railroad diagram
Updated
3 years ago
\ref-theorem command cannot use in stdjareport environment
Updated
3 years ago
Comments count
1
Cannot install at a local opam switch
Closed
3 years ago
Add make-deps command
Updated
3 years ago
Comments count
5
New API to fix footnote duplication problem
Updated
3 years ago
Comments count
9
I want to be able to set up a document information dictionary.
Closed
3 years ago
Comments count
1
How about adding community-maintained installation methods?
Updated
3 years ago
Comments count
1
Previous
Next