[isabelle-dev] HOL-Probability broken

[Larry Paulson]

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?

Larry

> On 18 Mar 2015, at 14:52, Makarius <makarius at sketis.net> wrote:
> 
> On Tue, 17 Mar 2015, Larry Paulson wrote:
> 
>> I’ve pushed a correction to that particular problem.
> 
> That version f41a2f77ab1b looks fine.
> 
> 
>> I’ve no time to verify that there are no further problems. Sorry again.
> 
> New further problems emerge in 5b762cd73a8e: total existence failure due to missing file Complex_Transcendental.thy.
> 
> 
> 	Makarius