Issues

• snify should also follow \input

  slatex/stextools#128 · Filter by author kohlhase opened on Sep 26, 2026
  

• objectives dialog should allow a 'l'-like interaction.

  enhancementpriority
  slatex/stextools#125 · Filter by author kohlhase opened on Sep 4, 2026
  

• hallucinations of symbol declarations.

  slatex/stextools#124 · Filter by author kohlhase opened on Jul 1, 2026
  1

  

• vacuous modules eliminator

  enhancement
  slatex/stextools#123 · Filter by author kohlhase opened on Jun 25, 2026
  1

  

• handling composita

  enhancement
  slatex/stextools#121 · Filter by author kohlhase opened on Apr 8, 2026
  

• add "l" to the objectives subdialog

  enhancement
  slatex/stextools#120 · Filter by author kohlhase opened on Apr 3, 2026

• a module with sig=en should not allow importmodule

  bugenhancement
  slatex/stextools#119 · Filter by author kohlhase opened on Feb 13, 2026
  

• objectives niggles

  enhancement
  slatex/stextools#113 · Filter by author kohlhase opened on Feb 2, 2026
  2

  

• support signature delegation

  slatex/stextools#110 · Filter by author kohlhase opened on Jan 27, 2026
  

• special treament of the FTML metatheory

  slatex/stextools#109 · Filter by author kohlhase opened on Jan 22, 2026
  

• document translation coverage tool (transify)

  enhancement
  slatex/stextools#104 · Filter by author kohlhase opened on Oct 28, 2025
  

• New tool: pragmatic formula annotator: "sniform"

  help wantedneeds-design
  slatex/stextools#96 · Filter by author kohlhase opened on Aug 13, 2025
  

• update modules to sTeX4

  bug
  slatex/stextools#93 · Filter by author kohlhase opened on Jul 6, 2025
  

• also propose definienda

  enhancementneeds-design
  slatex/stextools#89 · Filter by author kohlhase opened on May 2, 2025
  

• Also react to pre-annotated, but not importmoduled symbols in snify

  enhancementpriority
  slatex/stextools#87 · Filter by author kohlhase opened on Apr 7, 2025
  

• pick up on \textsymdecl

  enhancementpriority
  slatex/stextools#84 · Filter by author kohlhase opened on Feb 20, 2025
  

• Make the stemmer configurable?

  enhancementlong-tailneeds-design
  slatex/stextools#83 · Filter by author kohlhase opened on Feb 18, 2025
  

• Variant spelling support for snify

  slatex/stextools#80 · Filter by author lambdaTotoro opened on Feb 11, 2025
  1

• new option to perpetuate skips

  enhancementneeds-design
  slatex/stextools#79 · Filter by author kohlhase opened on Feb 9, 2025
  

• verbalizations of theorems

  enhancementneeds-design
  slatex/stextools#77 · Filter by author kohlhase opened on Jan 15, 2025
  3

  

• add a top-level focus mode to snify

  enhancement
  slatex/stextools#76 · Filter by author kohlhase opened on Jan 14, 2025
  1

  

• add the module in \sn and friends when ambiguous.

  slatex/stextools#73 · Filter by author kohlhase opened on Dec 11, 2024
  

• ring a bell on unexpected input (before hit any key)

  enhancement
  slatex/stextools#65 · Filter by author kohlhase opened on Dec 1, 2024
  

• new tool: symnamer

  slatex/stextools#60 · Filter by author kohlhase opened on Nov 21, 2024
  

• also propose objectives and prerequisites for sproblems

  enhancementneeds-design
  slatex/stextools#56 · Filter by author kohlhase opened on Nov 18, 2024
  2