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 <[email protected]> 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 <[email protected]> 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 > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
