Re: [isabelle] Algebraic_Numbers

On 02/06/16 16:55, Lars Hupel wrote:
>> Thanks for this easy solution. I just pushed a corresponding change
>> with new target: Algebraic_Number_Lib
> Because of this we now have the unfortunate situation that a significant
> part of Algebraic_Numbers is now being built twice, without any actual
> need to do so.

Indeed. When there are bulky sessions, one should figure out how to make
them less bulky, and not just duplicate bulkiness.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.