Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] found it

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

From: Sean McLaughlin <seanmcl@cmu.edu>
OK, I think PolyML.commit() does the job I want. Sorry to bother.

Sean

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

From: Makarius <makarius@sketis.net>
That's just the low level interface of Poly/ML. Isabelle provides its own
abstraction. See the Isabelle system manual for further details.

Makarius

Last updated: May 03 2024 at 12:27 UTC