[isabelle-dev] multiple weirdnesses

[Lawrence Paulson]

Just to clarify: these messages have appeared out of order due to mailing list moderation (because my image was too big).

The only computers in question are my laptop and my main workstation, and the image in my last two messages refer to the same computer.

Larry

On 18 Mar 2013, at 11:46, Lawrence Paulson <lp15 at cam.ac.uk> wrote:

> I've checked on another computer, and I get exactly the same thing.
> 
> File creation dates set in the past can cause a lot of problems, so it would be interesting to know what is going on here.
> 
> Larry
> <Screen Shot 2013-03-18 at 11.44.38.png>
> 
> On 18 Mar 2013, at 11:40, Makarius <makarius at sketis.net> wrote:
> 
>> 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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130318/4cef6adf/attachment-0002.html>