Re: [isabelle] Isabelle Workshop Program
> On 06.07.2016, at 17:04, Tobias Nipkow <nipkow at in.tum.de> wrote:
> The (impressive!) program for the Isabelle workshop at Nancy is online now:
The link above appears to be momentarily broken; it redirects to "http://localhost/Isabelle2016/". I get the same effect on two independent machines. I guess this must be a configuration problem with "www.in.tum.de".
The following link works:
This archive was generated by a fusion of
Pipermail (Mailman edition) and