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.


	Makarius






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