[isabelle-dev] HOL-Probability broken

Makarius makarius at sketis.net
Thu Mar 19 16:21:38 CET 2015

On Wed, 18 Mar 2015, Larry Paulson wrote:

> Sorry, I overlooked this due to the many untracked files of the form 
> *.prv. Wouldn’t it make sense to add this pattern to our .hgignore file?

I've never seen such *.prv files.  Where are they coming from?

Normally the Isabelle source space is considered read-only.  The system 
needs to work from a read-only file-system, even though that is never 
tested systematically.


More information about the isabelle-dev mailing list