The herd7 web interface does not work in Firefox browser, after the commit (included) c543d717d6893441d87ab67ca3bdbb8e14bb6f8c, which is a commit after the 7.57-release. I noticed thatthe generated JavaScript jerd.js (from jerd.ml) is not loaded in the Firefox browser when testing locally.
The
herd7web interface does not work in Firefox browser, after the commit (included)c543d717d6893441d87ab67ca3bdbb8e14bb6f8c, which is a commit after the7.57-release. I noticed thatthe generated JavaScriptjerd.js(fromjerd.ml) is not loaded in the Firefox browser when testing locally.