Skip to content
CI

improve the typesetting of nonterminals that have both subscripts and… #71

Sign in to view logs

improve the typesetting of nonterminals that have both subscripts and…

improve the typesetting of nonterminals that have both subscripts and… #71

Triggered via push March 5, 2025 14:07
@rfindlerrfindler
pushed e232ad4
master
Status Success
Total duration 4m 27s
Artifacts –

ci.yml

on: push
Build on Racket
4m 22s
Build on Racket
Fit to window
Zoom out
Zoom in