<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; ">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><img height="344" width="696" apple-width="yes" apple-height="yes" id="33504df4-64fc-4e60-b969-4e5b19af8342" src="cid:A1A8C447-F00E-4E2C-B1AA-93054E9045AE"></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></body></html>