*** Document preparation ***
* System option "document_tags" specifies alternative command tags. This
is occasionally useful to control the global visibility of commands via
session options (e.g. in ROOT).
This refers to Isabelle/88b0e63d58a5, which also provides the updated
documentation. The m
This is a reminder that the official Isabelle2018-RC1 snapshot is about
to emerge within a few days (around 01-Jul-2018). The isabelle-dev
repository fork will *not* happen yet: everyone is called to consolidate
before and after the Isabelle2018-RC1 checkpoint with robustness and
stability in mind.
On 26/06/18 20:05, Makarius wrote:
> This is a reminder that the official Isabelle2018-RC1 snapshot is about
> to emerge within a few days (around 01-Jul-2018). The isabelle-dev
> repository fork will *not* happen yet: everyone is called to consolidate
> before and after the Isabelle2018-RC1 checkp
