Maybe we should continue the discussion within this issue: https://github.com/OpenMath/OpenMath.github.io/issues/70
Best regards, Ken Von: Om <[email protected]> Gesendet: Dienstag, 20. Juni 2023 11:40 An: 'Paul Libbrecht' <[email protected]>; 'David Carlisle' <[email protected]> Cc: '[email protected]' <[email protected]> Betreff: Re: [Om] Use w3id.org/openmath/ for redirections Thanks for investigating this, Paul. Nevertheless, can we register/use w3id.org/openmath to support content negotiation and redirects for different kinds of files? An alternative - just for OpenMath RDF - would be to just register w3id.org/om-rdf for serving the RDF files. Best regards, Ken Von: Om <[email protected]<mailto:[email protected]>> Gesendet: Dienstag, 20. Juni 2023 09:50 An: David Carlisle <[email protected]<mailto:[email protected]>> Cc: [email protected]<mailto:[email protected]> Betreff: Re: [Om] Use w3id.org/openmath/ for redirections Well, but wget --recursive does follow it. Paul On 19 Jun 2023, at 12:20, [email protected]<mailto:[email protected]> wrote: For example https://openmath.org/cd/arith1.xhtml in a browser shows a CD rendering (from https://openmath.org/cd/arith1) but wget https://openmath.org/cd/arith1.xhtml does not give you the CD html, just a small file with <meta http-equiv="refresh" content="0;url=arith1" /> which specifies the redirect to a html agent
_______________________________________________ Om mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om
