afdw
afdw
> Your image is broken in Firefox. This is because of [SVG filters feImage with xlink:href doesn't work with fragments](https://bugzilla.mozilla.org/show_bug.cgi?id=455986). > Your image is broken in Safari. I do not...
> There is no such thing as correctly rendered SVG. SVG doesn't have a reference implementation after all. So your results are not that surprising. But there are specifications. If...
I am not sure, but I think something like a `-Xss256M` JVM argument might be a temporary fix.
@AEnterprise The problem of laser target (as you explained) is that there is also interface which block of this tile should implement.
It's already 90° FoV: 
I am getting this on master (Rocq commit https://github.com/rocq-prover/rocq/commit/4015c7e4126a1aca4abef8a72bede16a54a1f0a5, VsRocq commit https://github.com/rocq-prover/vsrocq/commit/395799c142e13d973f66e5cb7b3827e44100adee): ``` [top , 1423197, 1753882094.894078] ========================================================== [Error - 3:28:15 PM] Server process exited with code 0. [Info -...
Sure, here is one: ```rocq Goal 1 = 1 -> 2 = 2. intros. ``` Inserting `H` between `intros` and `.` (so replacing it with `intros H.`) crashes the server...
Are there other people who are able to reproduce the issue?
Yes, I would like to finish this, to get better interoperability with other systems.