v2.1.7

What's Changed

• [parser] use the loc of the prev sentence to feed the parser by @gares in #824
• [outline] list alien, named, symbols by @gares in #832
• Don't error on deprecated warnings in ocaml code by @SkySkimmer in #841
• allows newer ppx_yojson_conf version by @CodiePP in #833
• Get all debug messages by @rtetley in #842
• More complete document state request by @rtetley in #844
• Fix fatal warnings by @rtetley in #848
• Fix max depth setting initialization by @rtetley in #847
• [CI] test coq 8.20 by @gares in #807
• Fix client tests by @rtetley in #850
• Support block on first error mode by @rtetley in #845
• Work on better system for goal ellipsis by @thery in #846
• Correct unshelve message by @rtetley in #854

New Contributors

• @CodiePP made their first contribution in #833

Full Changelog: v2.1.6...v2.1.7