[isabelle-dev] multiple weirdnesses

Makarius makarius at sketis.net
Mon Mar 18 12:40:33 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 !

The jedit_build-20130104 component is from 04-Jan-2013 -- it did not 
change recently.

This incident looks more like a drop-out of your local file-system.


More information about the isabelle-dev mailing list