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

proof-general/html/screenshot.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 2002-07-15T09:32:38+00:00 David Aspinall 2002-07-15T09:32:38+00:00 9c206542d81dc4072f6a32ef9eaeeb6e8dd3cbe9

Fix layout a bit 2002-07-13T16:29:53+00:00 David Aspinall 2002-07-13T16:29:53+00:00 54f652a05b0c7995d4385f4139009f299b36bc45

Fix URL for X-symbol 2002-04-23T16:53:32+00:00 David Aspinall 2002-04-23T16:53:32+00:00 59bdb9ac18f8f1e2a91a00cc73274acbfa8d9611

Fix links to gallery 2001-08-01T19:23:30+00:00 David Aspinall 2001-08-01T19:23:30+00:00 24238452bf5a4c57c9fa4f16e8e0a3a666b092ae

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