[isabelle-dev] multiple weirdnesses

Lawrence Paulson lp15 at cam.ac.uk
Mon Mar 18 13:10:10 CET 2013


The June 2011 date is of the unpacked contents. The compressed archive file is dated January 2013.

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.

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).

Larry

On 18 Mar 2013, at 12:04, 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 !
> 
> Back to the initial observations.  Is the date 14-June-2011 the one of jedit_build-20130104.tar.gz and/or the unpacked contents?
> 
> 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 -dumphttp://isabelle.in.tum.de/components/jedit_build-20130104.tar.gz").
> 
> What is also odd, is the "### Missing Isabelle component" in the first place. It means that the directory given there somehow got lost.
> 
> 
> Do you have any old or duplicate component specfications in $ISABELLE_HOME_USER/etc/settings or $ISABELLE_HOME_USER/etc/components ?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130318/242bc29b/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: 49892 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130318/242bc29b/attachment-0002.png>


More information about the isabelle-dev mailing list