[isabelle-dev] Debugging help: Hacking the kernel for proof export

Makarius makarius at sketis.net
Sat Aug 8 22:47:40 CEST 2020

On 08/08/2020 17:52, Mario Carneiro wrote:
> (I'm posting this to isabelle-dev since it's a very internal technical
> question that probably won't be of interest to end users.)

This means you are interfering with the ongoing Isabelle development process
(i.e. everything around repository versions, including administrative problems).

Whatever you do with official Isabelle releases outside of the Isabelle
development process belongs to the isabelle-users mailing list. We don't have
a separate "kernel hacking mailing list" (and don't need that).

My own priority in answering threads is as follows (high to low):

  1. isabelle-dev
  2. isabelle-users
  3. isabelle-dev material that does not belong here


More information about the isabelle-dev mailing list