[isabelle-dev] NEWS

Gerwin Klein gerwin.klein at nicta.com.au
Tue Dec 2 21:36:37 CET 2008


Makarius wrote:
> Of course, heaps produced inside the repository file space like that must 
> not be committed.

We might want to add an .hgignore file and put ^heaps/ in it. This should at 
least make accidental commits less likely.

Gerwin



More information about the isabelle-dev mailing list