[isabelle-dev] lib/classes/Pure.shasum

[Makarius]

On 28.01.20 16:00, Lawrence Paulson wrote:
> What is this file, which suddenly keeps getting created? Surely we 
> should add it to the ignore list?

See now:

changeset:   71411:839bf7d74fae
tag:         tip
user:        wenzelm
date:        Tue Jan 28 20:26:23 2020 +0100
files:       .hgignore
description:
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);


This also belongs to the gradle/IntelliJ project setup for 
Isabelle/Scala ("isabelle scala_project").


	Makarius