issues
search
slatex
/
sTeX
A semantic Extension of TeX/LaTeX
49
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
tikz problem:
#379
kohlhase
opened
1 year ago
5
Annotations on HTML elements generated for a question
#378
abchugh
opened
1 year ago
5
sdefinition/sassertion/... counter does not reset with section
#377
kohlhase
closed
1 year ago
2
leftover overlay specifications
#376
kohlhase
closed
1 year ago
6
weird error with loading BNF.en.tex
#375
kohlhase
opened
1 year ago
1
double loading
#374
kohlhase
closed
1 year ago
4
I cannot see the cause of this error
#373
kohlhase
closed
1 year ago
3
Update manual to document dependency on Java.
#372
rappatoni
opened
1 year ago
1
VSCode plugin should not start Java with 8 Gb heap size.
#371
rappatoni
closed
1 year ago
1
Problem with extstructure
#370
kohlhase
closed
1 year ago
1
linter: even with a definiens, constants in a structure turn up as missing assignments
#369
kohlhase
opened
1 year ago
0
we need an informal version of assign
#368
kohlhase
closed
1 year ago
5
stex-doc runs into an \sref error.
#367
kohlhase
opened
1 year ago
0
mathstructure should make a default name for the structure itself
#366
kohlhase
opened
1 year ago
2
realizations missing fields
#365
kohlhase
opened
1 year ago
4
Exam whitespace (\testnewpage and \testemptypage) not working properly
#364
lambdaTotoro
closed
1 year ago
6
MathStructure fields as accessor functions outside of the inner module
#363
Jazzpirate
opened
1 year ago
0
Some hover links seem to be broken
#362
abchugh
closed
1 year ago
4
Remove hovers on definiendum
#361
abchugh
closed
1 year ago
1
Many hovers (content in fragment URL) have unnecessary space around them
#360
abchugh
opened
1 year ago
0
Remove URI from tooltips ('fragment' URLs)
#359
abchugh
closed
1 year ago
6
weird error message
#358
kohlhase
closed
1 year ago
3
realization and interpretation probably need to become modular
#357
kohlhase
opened
1 year ago
0
We need to document Metatheory.en.tex
#356
kohlhase
opened
1 year ago
5
regression stex gets into an infinite loading loop
#355
kohlhase
closed
1 year ago
3
rustex should do bibtex
#354
kohlhase
closed
1 year ago
34
usestructure should be a macro not an environment
#353
kohlhase
opened
1 year ago
0
have instantiate (and maybe varinstantiate too?) environments with inner syntax analogous to morphisms
#352
Jazzpirate
opened
1 year ago
0
Everything generating symbols should generate assignments in morphisms
#351
Jazzpirate
opened
1 year ago
0
Have sproof-environment generate definientia
#350
Jazzpirate
opened
1 year ago
0
The sdefinition environment should subsume \symdef
#349
Jazzpirate
opened
1 year ago
1
parray/parrayline deposits a spurious empty line
#348
kohlhase
opened
1 year ago
0
sref problem
#347
kohlhase
closed
1 year ago
3
a general mechanism for mixins
#346
kohlhase
opened
1 year ago
1
\varinstantiate and sequences.
#345
kohlhase
opened
1 year ago
1
explain copymodule, interpretmodule, and document realization in the manual.
#344
kohlhase
opened
1 year ago
1
discrepancy between rustex and pdflatex
#343
kohlhase
closed
1 year ago
2
more systematic treatment of loadmodules=
#342
kohlhase
opened
1 year ago
0
MathML Intent from sTeX
#341
Jazzpirate
closed
1 year ago
3
problem.sty: better styling for mcb einvironment
#340
kohlhase
opened
1 year ago
0
sref problem in problems
#339
kohlhase
closed
1 year ago
4
figurename not loaded (babel misbehaves).
#338
kohlhase
opened
1 year ago
10
assertion font mixup.
#337
kohlhase
closed
1 year ago
5
eqnarray directly in sproof impossible
#336
kohlhase
opened
1 year ago
2
\arg in \spfjust problem on newsproof branch
#335
kohlhase
closed
1 year ago
1
another blank leaked in \begin{sproblem}
#334
kohlhase
closed
1 year ago
8
new sproofs
#333
Jazzpirate
closed
1 year ago
5
\begin{problem} without title attribute makes empty ()
#332
kohlhase
closed
2 years ago
2
have an sTeX3 macro that in the pdf references the html
#331
kohlhase
opened
2 years ago
1
Better notations for structure instances
#330
Jazzpirate
opened
2 years ago
0
Previous
Next