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
