Julian 52766b12f2 Update to newer openai model gpt-5-nano-2025-08-07

2026-08-06 23:16:08 +02:00

..

launch.json

Update to newer openai model gpt-5-nano-2025-08-07

2026-08-06 23:16:08 +02:00

settings.json

Small fixes for formula matching

2026-08-03 10:09:38 +02:00