Repository navigation

feat: error handling for pretty-printer (local and remote); detect duplicate formula names - #5

Merged

jzxia merged 14 commits into

feat__local_pretty_printer__error_handling

Jul 9, 2026

Merged

feat: error handling for pretty-printer (local and remote); detect duplicate formula names#5
jzxia merged 14 commits into
masterfrom
feat__local_pretty_printer__error_handling

Commits on Jul 2, 2026
- feat: in local pretty-printer, show JJParser's error message to user, move cursor to position if the error message contains a position
  jzxia
  committed
  5777ba4
- remove button `TPTP: Format Document` because:
  jzxia
  committed
  eebde91
Commits on Jul 3, 2026
Commits on Jul 8, 2026
- feat: in `parserErrorPosition`, handle the case `Line .. Char .. Character "."` emitted by JJParser's `CharacterError`
  jzxia
  committed
  99a6445
Commits on Jul 9, 2026