makarius at sketis.net
Thu Aug 16 15:43:37 CEST 2012
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
> Great. I've now turned download_components into an isabelle (Admin)
> tool (cf. 01d1734f779d), as you suggested. Feel free to make further
So I have to follow one more change to get the work done eventually.
This is not very productive.
More information about the isabelle-dev