[isabelle-dev] Failure and slowdown of JinjaThreads (due to merge desaster?)
lp15 at cam.ac.uk
Tue May 15 15:21:19 CEST 2018
> On 15 May 2018, at 14:51, Makarius <makarius at sketis.net> wrote:
> Maybe also a campaign to get rid of unnecessary syntax ambiguity.
Totally. Most of the time it is completely unnecessary
More information about the isabelle-dev