Shardul Chiplunkar

**Expected behavior:** When an unhandled error occurs during the execution of a test, it is reported (in the JUnit-style XML reports under `target/test-reports/`) as an ``. Although I couldn’t find...

LSP/Emacs hangs while updating metals server

3

**Describe the bug** I tried to upgrade to Metals 0.11.10 from within Emacs by running `lsp-update-server`. The Emacs echo area then showed "Contacting host github.com:443 ..." and then hanged. (Emacs...

Fix #44 (accumulated unknown marks for chained translations)

1

Fix #44. (# referencing doesn't work in titles?)

Math formatted columns in tabular environment handled incorrectly

6

This issue is about a very specific use case but I think it is common enough to make an issue. The screenshot below demonstrates the problem.  That is, when...

[Feature Request] Include `for-syntax` in Syntax Utilities documentation header

3

As a very novice Racket user, I've always interpreted the `require` statement in the header of documentation pages as the statement I should include in my file / evaluate in...