Issues

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

  slatex/sTeX-IDE#44 · Filter by author kohlhase opened on Nov 5, 2024
  

• MMT linter support for \objective and friends.

  slatex/sTeX-IDE#43 · Filter by author kohlhase opened on Dec 4, 2023
  

• linter counts usedmoduled symbols twice

  bug
  slatex/sTeX-IDE#42 · Filter by author kohlhase opened on Nov 11, 2023
  

• linter does not pick up definienda in \begin{ndefinition}

  slatex/sTeX-IDE#41 · Filter by author kohlhase opened on Nov 2, 2023
  

• linter should report out-of-order redundant imports

  slatex/sTeX-IDE#40 · Filter by author kohlhase opened on Oct 31, 2023
  

• build group does not seem to work

  slatex/sTeX-IDE#36 · Filter by author kohlhase opened on Aug 6, 2023
  

• flagging redundant disambiguations

  slatex/sTeX-IDE#35 · Filter by author kohlhase opened on Aug 6, 2023
  

• symbol names in search

  slatex/sTeX-IDE#33 · Filter by author erikaabraham opened on Mar 24, 2023

• sref support in the IDE

  slatex/sTeX-IDE#32 · Filter by author kohlhase opened on Jan 13, 2023
  

• plausibility checking in the linter

  slatex/sTeX-IDE#31 · Filter by author kohlhase opened on Oct 25, 2022
  4

  

• Document compatible LateX distributions and their usage

  slatex/sTeX-IDE#29 · Filter by author rappatoni opened on Oct 7, 2022

• Document recommended Settings for the LaTeX Workshop Plugin

  slatex/sTeX-IDE#28 · Filter by author rappatoni opened on Oct 7, 2022

• linter has problems with (some) variable sequences

  bug
  slatex/sTeX-IDE#26 · Filter by author kohlhase opened on Oct 3, 2022
  5

  

• linter inheritance problem

  bug
  slatex/sTeX-IDE#18 · Filter by author kohlhase opened on Sep 29, 2022
  2

  

• generate assign stubs for realization and interpretation

  enhancementneeds-design
  slatex/sTeX-IDE#16 · Filter by author kohlhase opened on Sep 27, 2022
  

• when two files with dependencies A -> B are open, B is changed, re-link all files inbetween

  enhancement
  slatex/sTeX-IDE#15 · Filter by author kohlhase opened on Sep 24, 2022
  4

  

• linter does not seem to pick up on structure symbols

  bug
  slatex/sTeX-IDE#14 · Filter by author kohlhase opened on Sep 24, 2022
  

• linter should catch \inlineass[for=foo]

  bug
  slatex/sTeX-IDE#13 · Filter by author kohlhase opened on Sep 23, 2022
  

• inlineass[for=foo] not supported by linter

  bug
  slatex/sTeX-IDE#10 · Filter by author kohlhase opened on Sep 20, 2022
  1

  

• fully specified \symname classified as ambiguous symbol reference

  bug
  slatex/sTeX-IDE#5 · Filter by author kohlhase opened on Sep 2, 2022
  2

  

• IDE Features

  slatex/sTeX-IDE#2 · Filter by author Jazzpirate opened on Mar 31, 2022
  1