[isabelle-dev] HOL-Probability broken
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
More information about the isabelle-dev