proof-general/html/head.html, branch master

proof-general/html/head.html, branch master Emacs plugins for proof management systems Deleted file 2004-02-07T19:31:13+00:00 David Aspinall 2004-02-07T19:31:13+00:00 b9caaa8e4b66817dbc66d0e79b567b3285869fea

Swap charset to iso-8859-1 2003-09-25T00:43:47+00:00 David Aspinall 2003-09-25T00:43:47+00:00 6cc8da69674f4874ce92bf5981052f40635de7e4

Use linked style sheet, add charset metatag. 2002-07-16T17:15:00+00:00 David Aspinall 2002-07-16T17:15:00+00:00 326a199ab6e1489eb8ed5ab4dabf394b1933ce29

Add favicon to head 2002-07-13T12:16:11+00:00 David Aspinall 2002-07-13T12:16:11+00:00 a60ed5bd9d1ebc2138b6dce648f74fd92a0090dc

Renamed file 2000-09-28T15:01:50+00:00 David Aspinall 2000-09-28T15:01:50+00:00 bd7aa7923a25d16207842f9f3d6b773c2fc6fa58