proof-general/html/images, branch master

proof-general/html/images, 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

New files. 2002-07-14T11:40:38+00:00 David Aspinall 2002-07-14T11:40:38+00:00 e8735af639d84339c0cac1ad3265c6242a94171c

Reformat 2002-07-13T15:01:47+00:00 David Aspinall 2002-07-13T15:01:47+00:00 e684dff9d4e6b188d0d995ca5acdced4ca6c8caf

Deleted file 2002-07-13T12:05:03+00:00 David Aspinall 2002-07-13T12:05:03+00:00 e4f5eb76e06da862ff56e3c947a6bb99010a05c9

New files. 2002-07-13T12:05:02+00:00 David Aspinall 2002-07-13T12:05:02+00:00 48dd94a6d7ec380dfe40ec91f7aa3647c1a31ac2

Already shrunken general for buggy browsers benefit. 2000-09-27T14:29:07+00:00 David Aspinall 2000-09-27T14:29:07+00:00 dbe75a9e9d38f3c6b7631aa198c671a20f116e5b

Add prover-specific logo rather than generic ones... 2000-09-23T16:49:59+00:00 David Aspinall 2000-09-23T16:49:59+00:00 f7e819c7b8f8d09b59bd0f5bb8ed26fec58aaec9

Image of the general with ??? badge 2000-09-23T16:48:07+00:00 David Aspinall 2000-09-23T16:48:07+00:00 b7f0154d613196f375f15a7feb75a165c2a912e9

Shrunk a bit 2000-09-14T13:24:31+00:00 David Aspinall 2000-09-14T13:24:31+00:00 38b4f479953024cdb0e2e6bc9ac4d4945852d326

Reduced sizes of images. 2000-09-13T15:48:28+00:00 David Aspinall 2000-09-13T15:48:28+00:00 10476652cf2775ff7875eb7d89d936f4ded0bd23