[isabelle-dev] Remaining uses of {* ... *} quotation?

Makarius makarius at sketis.net
Fri Nov 9 12:34:31 CET 2018

On 09/11/2018 00:08, Gerwin.Klein at data61.csiro.au wrote:
> We probably still have a few occurrences of these, but no problem
> phasing them out.

In principle it is just a matter of applying "isabelle update_cartouches
-t", but it might require some coordination, especially on AFP.

E.g. one could set a date for the "big sweep" and make one big
changeset, or one could gradually update entries in an erratic manner.

You can probably say better if there are problems to be expected between
the "stable" and "devel" versions of AFP.


More information about the isabelle-dev mailing list