Thanks for pointing that out. It’s online now, but we’re still investigating how it happened.
Cheers, Gerwin > On 18 Apr 2019, at 03:02, Makarius <[email protected]> wrote: > > Dear AFP maintainers, > > there are some broken links for older entries on the release version of > AFP (the devel version is fine). > > E.g. > https://www.isa-afp.org/browser_info/current/AFP/MiniML/document.pdf and > https://www.isa-afp.org/browser_info/current/AFP/MiniML/index.html > > > Makarius > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
