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