[isabelle-dev] download-components

[Tjark Weber]

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

Best regards,
Tjark

-- 
Ceterum censeo: Isabelle needs an issue tracker.