[isabelle-dev] multiple weirdnesses

Lawrence Paulson lp15 at cam.ac.uk
Mon Mar 18 12:46:54 CET 2013

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.


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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130318/b3c8a88c/attachment-0002.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2013-03-18 at 11.44.38.png
Type: image/png
Size: 147754 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130318/b3c8a88c/attachment-0002.png>

More information about the isabelle-dev mailing list