Re: [isabelle] HOLCF was: Re: Announcing Isabelle2011



Am 15.02.2011 10:39, schrieb Alexander Krauss:
> Christian Maeder wrote:
>>> Isabelle2011 is now available.
>>
>> How should I build HOLCF now? Where should I get the sources from?
> 
> Isabelle2011/build -m HOLCF

Thanks, it is unchanged! I was only confused by the message (below) and
did not press return to avoid (re-)building HOL (only).

"isabelle make HOLCF" in HOL/HOLCF rebuilds all heaps (Pure, HOL, HOLCF)
and puts them under ~/.isabelle/...

Christian

Press RETURN to compilation of

  HOL
  (targets: HOLCF)





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