[isabelle-dev] multiple weirdnesses

[Makarius]

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