v0.23.1

What's Changed

• Fix stdio transport instability without stdout fd mutation by @eliasjudin in #148
• fix: share loogle subprocess across HTTP sessions by @spitters in #145
• Chore/various chores by @oOo0oOo in #149
• Fix parse_axioms failing on multiline #print axioms output by @maorbenshahar in #152
• Harden teardown to prevent transport drops by @eliasjudin in #150
• feat: allow passing Lean dir path via CLI by @zeyu-zheng in #151
• Harden loogle init and teardown error handling by @eliasjudin in #154
• Rewrite lean_verify to use append-and-restore instead of olean files by @maorbenshahar in #155
• [fix] Windows compatibility: encoding, path separators, nested projects by @elazarg in #156
• [fix] Include file path in error messages for failed path resolution by @elazarg in #158
• feat: Make Loogle remote URL configurable via LOOGLE_URL by @dirkenglund in #153
• local_search includes namespace

New Contributors

• @spitters made their first contribution in #145
• @maorbenshahar made their first contribution in #152
• @zeyu-zheng made their first contribution in #151
• @elazarg made their first contribution in #156
• @dirkenglund made their first contribution in #153

Full Changelog: v0.22.0...v0.23.1