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.
Makarius_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
