Search results

in "export problems" use the source file name by default for the json file name

Status: Open.

#44 In slatex/sTeX-IDE;

· kohlhase opened on Nov 5, 2024

MMT linter support for \objective and friends.

Status: Open.

#43 In slatex/sTeX-IDE;

· kohlhase opened on Dec 4, 2023

linter counts usedmoduled symbols twice

bugSomething isn't workingSomething isn't working

Status: Open.

#42 In slatex/sTeX-IDE;

· kohlhase opened on Nov 11, 2023

linter does not pick up definienda in <code>\begin{ndefinition}</code>

Status: Open.

#41 In slatex/sTeX-IDE;

· kohlhase opened on Nov 2, 2023

linter should report out-of-order redundant imports

Status: Open.

#40 In slatex/sTeX-IDE;

· kohlhase opened on Oct 31, 2023

build group does not seem to work

Status: Open.

#36 In slatex/sTeX-IDE;

· kohlhase opened on Aug 6, 2023

flagging redundant disambiguations

Status: Open.

#35 In slatex/sTeX-IDE;

· kohlhase opened on Aug 6, 2023

symbol names in search

Status: Open.

#33 In slatex/sTeX-IDE;

· erikaabraham opened on Mar 24, 2023

sref support in the IDE

Status: Open.

#32 In slatex/sTeX-IDE;

· kohlhase opened on Jan 13, 2023

plausibility checking in the linter

Status: Open.

#31 In slatex/sTeX-IDE;

· kohlhase opened on Oct 25, 2022

Document compatible LateX distributions and their usage

Status: Open.

#29 In slatex/sTeX-IDE;

· rappatoni opened on Oct 7, 2022

Document recommended Settings for the LaTeX Workshop Plugin

Status: Open.

#28 In slatex/sTeX-IDE;

· rappatoni opened on Oct 7, 2022