put Isabelle-specifics in a "PortableIsabelle" file maintained by us; as recommended by Joe Hurd
put Isabelle-specifics in a "PortableIsabelle" file maintained by us;
as recommended by Joe Hurd

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle