On Tue, 18 Feb 2014, Makarius wrote:
This refers to Isabelle/892a425c5eaa and AFP/d2082ef48089:No such file: "/Users/makarius/isabelle/afp-devel/thys/Random_Graph_Subgraph_Threshold/Big_Operators.thy"
We are back to normal in AFP/b792ab19f843.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
