[isabelle-dev] multiple weirdnesses

Makarius makarius at sketis.net
Mon Mar 18 13:04:13 CET 2013

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 -dump 

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 ?


More information about the isabelle-dev mailing list