On Sat, 16 Mar 2013, Lawrence Paulson wrote:
At d5c95b55f849
~/isabelle/Repos/src/HOL: isabelle components -a
### Missing Isabelle component:
"/Users/lp15/.isabelle/contrib/jedit_build-20130104"
Getting "http://isabelle.in.tum.de/components/jedit_build-20130104.tar.gz";
Unpacking "/Users/lp15/.isabelle/contrib/jedit_build-20130104.tar.gz"
This brand-new file has a creation date of 14-June-2011 !
The jedit_build-20130104 component is from 04-Jan-2013 -- it did not
change recently.
This incident looks more like a drop-out of your local file-system.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
