<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">The June 2011 date is of the unpacked contents. The compressed archive file is dated January 2013.<div><br></div><div>The reason it was shown as missing is that I saw the questionable date, assumed some sort of file corruption had taken place and deleted a lot of the files in order to force fresh downloads. The new downloads had the same dates.</div><div><br></div><div>All that was on a laptop. Now I am on my main workstation, where I also see June 2011 as shown in the attached screenshot (I sent this earlier, but I believe it was retained by the mailing list system).</div><div><br><div>Larry<br></div><div><img height="158" width="320" apple-width="yes" apple-height="yes" id="4d4fdbc9-d50a-4da8-ac19-64b9d0c4c37a" src="cid:D0E0EBAF-34C1-4786-8881-AF4DC649E791"></div><br>On 18 Mar 2013, at 12:04, Makarius <<a href="mailto:makarius@sketis.net">makarius@sketis.net</a>> wrote:<br><br><blockquote type="cite">On Sat, 16 Mar 2013, Lawrence Paulson wrote:<br><br><blockquote type="cite" style="font-family: monospace; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; ">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>Back to the initial observations. Is the date 14-June-2011 the one of jedit_build-20130104.tar.gz and/or the unpacked contents?<br><br>Note that "Getting" means "perl ... > jedit_build-20130104.tar.gz" so the date stamp of the result is determined locally, not by the server (which looks fine anyway, according to "lynx -head -dump<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><br>What is also odd, is the "### Missing Isabelle component" in the first place. It means that the directory given there somehow got lost.<br><br><br>Do you have any old or duplicate component specfications in $ISABELLE_HOME_USER/etc/settings or $ISABELLE_HOME_USER/etc/components ?<br></blockquote><br></div></body></html>