[isabelle-dev] multiple weirdnesses
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