[isabelle-dev] download-components

Tjark Weber webertj at in.tum.de
Wed Aug 15 14:05:26 CEST 2012

On Wed, 2012-08-15 at 13:22 +0200, Makarius wrote:
> I will have to take a look at the component business again soon, to 
> simplify it further and remove features and clones of other Isabelle 
> scripts.

Great. I've now turned download_components into an isabelle (Admin)
tool (cf. 01d1734f779d), as you suggested. Feel free to make further

Best regards,

Ceterum censeo: Isabelle needs an issue tracker.

More information about the isabelle-dev mailing list