<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Just to clarify: these messages have appeared out of order due to mailing list moderation (because my image was too big).<div><br></div><div>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.</div><div><br><div><div apple-content-edited="true">
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 11px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; ">Larry</span>
</div>
<br><div><div>On 18 Mar 2013, at 11:46, Lawrence Paulson <<a href="mailto:lp15@cam.ac.uk">lp15@cam.ac.uk</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><meta http-equiv="Content-Type" content="text/html charset=us-ascii"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">I've checked on another computer, and I get exactly the same thing.<div><br></div><div>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.</div><div><br><div>Larry<br></div><div><span><Screen Shot 2013-03-18 at 11.44.38.png></span></div><br><div><div>On 18 Mar 2013, at 11:40, Makarius <<a href="mailto:makarius@sketis.net">makarius@sketis.net</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">On Sat, 16 Mar 2013, Lawrence Paulson wrote:<br><br><blockquote type="cite">At d5c95b55f849<br><br><blockquote type="cite">~/isabelle/Repos/src/HOL: isabelle components -a<br>### Missing Isabelle component: "/Users/lp15/.isabelle/contrib/jedit_build-20130104"<br>Getting "<a href="http://isabelle.in.tum.de/components/jedit_build-20130104.tar.gz">http://isabelle.in.tum.de/components/jedit_build-20130104.tar.gz</a>"<br>Unpacking "/Users/lp15/.isabelle/contrib/jedit_build-20130104.tar.gz"<br></blockquote><br>This brand-new file has a creation date of 14-June-2011 !<br></blockquote><br>The jedit_build-20130104 component is from 04-Jan-2013 -- it did not change recently.<br><br>This incident looks more like a drop-out of your local file-system.<br><br><br><span class="Apple-tab-span" style="white-space:pre"> </span>Makarius<br></blockquote></div><br></div></div>_______________________________________________<br>isabelle-dev mailing list<br><a href="mailto:isabelle-dev@in.tum.de">isabelle-dev@in.tum.de</a><br>https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev<br></blockquote></div><br></div></div></body></html>