[isabelle-dev] download-components

[Makarius]

On Wed, 15 Aug 2012, Tjark Weber wrote:

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

So I have to follow one more change to get the work done eventually.

This is not very productive.


 	Makarius