Krishna Padmasola

Request: Change visibility of various parser fields in `JsonCombParser` to public

5

The `JsonCombParser` class has various predefined parsers for parsing various JSON types/primitives such as string, boolean, number, digit, hexDigit etc. These definitions are very useful. However, currently they cannot be...

chore: Bump penrose dependency version to 3.3.0

1

Penrose team has released a new version of Penrose, [v3.3.0](https://github.com/penrose/penrose/releases/tag/v3.3.0). ProofWidgets should upgrade to this version, as it contains many new Penrose features that simplify authoring of Penrose Style, Substance...

fix: generate placeholder text for missing `toTex` implementations

3

Generate placeholder text for missing `toTex` implementations instead failing.