Are you going to learn ALL protocols you're interested in by asking questions like this on the board? Or are you gonna do some simple searching like a google "protocol HTTP tutorial".
To answer your question:
GET /pages/mantra/index.html HTTP/1.1
hit enter twice after typing the above.
To easily find the server software and perhaps OS for a given webserver:
HEAD / HTTP/1.1
hit enter twice after the above