Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] HOLCF was: Announcing Isabelle2011


view this post on Zulip Email Gateway (Aug 18 2022 at 17:02):

From: Christian Maeder <Christian.Maeder@dfki.de>
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)

view this post on Zulip Email Gateway (Aug 18 2022 at 17:02):

From: Makarius <makarius@sketis.net>
BTW, since both Pure and HOL are now the standard bundle it should have
worked without rebuilding any of them.

Makarius

view this post on Zulip Email Gateway (Aug 18 2022 at 17:03):

From: Christian Maeder <Christian.Maeder@dfki.de>
I wrongly assumed this suggests to build HOL instead of HOLCF!

C.

view this post on Zulip Email Gateway (Aug 18 2022 at 17:17):

From: Christian Maeder <Christian.Maeder@dfki.de>
Am 31.01.2011 11:00, schrieb Makarius:

Isabelle2011 is now available.
[...]

How should I build HOLCF now? Where should I get the sources from?

Thanks Christian

view this post on Zulip Email Gateway (Aug 18 2022 at 17:17):

From: Alexander Krauss <krauss@in.tum.de>
Christian Maeder wrote:
Isabelle2011/build -m HOLCF

Alex

view this post on Zulip Email Gateway (Aug 18 2022 at 17:18):

From: Tobias Nipkow <nipkow@in.tum.de>
It is now in HOL/HOLCF and you build it in HOL with
isabelle make HOLCF

Tobias

Christian Maeder schrieb:


Last updated: Mar 29 2024 at 04:18 UTC