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

proof-general/html/header.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

Fix link, tag. 2002-07-15T08:59:35+00:00 David Aspinall 2002-07-15T08:59:35+00:00 c1c0fb3173cb46e21a22baec4a120a3d04016649

Change colour but not boldness 2002-07-13T17:53:12+00:00 David Aspinall 2002-07-13T17:53:12+00:00 fdb8d72700feceb587cebe0696531b2447467f5c

Compress header, shrink images 2002-07-13T16:19:17+00:00 David Aspinall 2002-07-13T16:19:17+00:00 dc650fcaeadbc1aac792f012db8f1865b9fa2830

Improve stylesheet syntax, make menubar smaller 2001-08-28T14:34:06+00:00 David Aspinall 2001-08-28T14:34:06+00:00 f0d312b3409a857e432c4804cbe3911db0f515ba

Link image to root dir. 2000-09-29T19:23:05+00:00 David Aspinall 2000-09-29T19:23:05+00:00 39c58b3b71f79766058240a5834e3e33c43f54f1

Remove messy link_root links. 2000-09-29T17:47:34+00:00 David Aspinall 2000-09-29T17:47:34+00:00 0343b2b7187a599d2373e92e00d5e8ad7da91c3f

Moved to use .html instead of .phtml 2000-09-28T15:14:22+00:00 David Aspinall 2000-09-28T15:14:22+00:00 ce2413d4ba78cacb8d5e098ed1421456bb811e53

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