[isabelle-dev] Distro broken

[Johannes Hölzl]

My bad, should be fixed now.

 - Jo

Am Dienstag, den 18.10.2016, 20:40 +0200 schrieb Florian Haftmann:
> > 
> > isabelle: fb5c74a58796 tip
> > afp: c03838321f2a tip
> > *** No such file:
> > "/mnt/home/haftmann/data/tum/isabelle/devel/src/HOL/Probability/Ess
> > ential_Supremum.thy"
> > *** The error(s) above occurred for theory "Essential_Supremum"
> > *** (required by "Probability") (line 15 of
> > "/mnt/home/haftmann/data/tum/isabelle/devel/src/HOL/Probability/Pro
> > bability.thy")
> > *** The error(s) above occurred in session "HOL-Probability" (line
> > 716 of "/mnt/home/haftmann/data/tum/isabelle/devel/src/HOL/ROOT")
> 	Florian
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabel
> le-dev