>> What is the proper way of making this known to the operators of heptapod? > > I am not sure. Maybe via certain areas of the website https://heptapod.net or > even https://foss.heptapod.net/heptapod/heptapod/-/issues
See now https://foss.heptapod.net/heptapod/heptapod/-/issues/425 Let’s see. In the meantime – is there an alternative at least read-only HG repository of AFP available? Thanks a lot, Florian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
