Skip to content

Issues: slatex/stextools

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

20 Open 57 Closed
20 Open 57 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

verbalizations of theorems enhancement New feature or request needs-design the solution in this issue is not fully specified yet.
#77 opened Jan 15, 2025 by kohlhase
@kohlhase @jfschaefer @Jazzpirate
3
add a top-level focus mode to snify enhancement New feature or request
#76 opened Jan 14, 2025 by kohlhase
@jfschaefer
grep out the homework/quiz/exam-problem-in relation
#75 opened Dec 17, 2024 by kohlhase
@kohlhase
add the module in \sn and friends when ambiguous.
#73 opened Dec 11, 2024 by kohlhase
@jfschaefer
ring a bell on unexpected input (before hit any key) enhancement New feature or request
#65 opened Dec 1, 2024 by kohlhase
@jfschaefer
another crash bug Something isn't working
#64 opened Dec 1, 2024 by kohlhase
@jfschaefer
2
new tool: symnamer
#60 opened Nov 21, 2024 by kohlhase
@jfschaefer
editing in the replace interaction enhancement New feature or request long-tail do this when nothing else is burning.
#59 opened Nov 19, 2024 by kohlhase
also propose objectives and prerequisites for sproblems enhancement New feature or request needs-design the solution in this issue is not fully specified yet.
#56 opened Nov 18, 2024 by kohlhase
@kohlhase @jfschaefer
1
srify focus should be well-bracketed enhancement New feature or request
#54 opened Nov 17, 2024 by kohlhase
@jfschaefer
annotations with the sTeX metatheory bug Something isn't working needs-design the solution in this issue is not fully specified yet.
#52 opened Nov 17, 2024 by kohlhase
@jfschaefer @Jazzpirate
add missing \import/\usemodule enhancement New feature or request
#37 opened Nov 6, 2024 by kohlhase
@jfschaefer
Add MathHub Symbols to the annotation enhancement New feature or request long-tail do this when nothing else is burning. needs-design the solution in this issue is not fully specified yet.
#33 opened Oct 28, 2024 by kohlhase
@kohlhase @jfschaefer
delegate symbol collection to iMMT enhancement New feature or request long-tail do this when nothing else is burning. needs-design the solution in this issue is not fully specified yet.
#32 opened Oct 28, 2024 by kohlhase
@jfschaefer
new modifier # for symbol elimination.
#24 opened Oct 25, 2024 by kohlhase
@jfschaefer
1
write a CICM system description paper.
#23 opened Oct 25, 2024 by kohlhase
@kohlhase @jfschaefer
think about using srify in a low-verbalization setting.
#22 opened Oct 25, 2024 by kohlhase
@kohlhase @jfschaefer
document srify in the readme and the wiki.
#21 opened Oct 25, 2024 by kohlhase
2 of 4 tasks
@kohlhase @jfschaefer
1
more excluded macros and environments bug Something isn't working priority fixing this is urgent.
#10 opened Oct 15, 2024 by kohlhase
17 of 20 tasks
@jfschaefer
new todo interaction long-tail do this when nothing else is burning.
#2 opened Oct 14, 2024 by kohlhase
@jfschaefer
ProTip! Type g i on any issue or pull request to go back to the issue listing page.