proof-general/images/gimp/scripts, branch master Emacs plugins for proof management systems Deleted file 2007-12-11T11:36:36+00:00 David Aspinall 2007-12-11T11:36:36+00:00 55ceeb7d2d1ad0451a2d057f5531790ea0df30f9 






Remove obsolete xbms
2000-09-23T14:26:21+00:00

David Aspinall

2000-09-23T14:26:21+00:00

4905f4712b7e272b4d6eae3f703abee06745daa7












Add new button
2000-09-20T13:21:21+00:00

David Aspinall

2000-09-20T13:21:21+00:00

3735097d44e74eaf07ae2c9542f1694ade9678e9












Added goto button.
1999-11-19T17:54:19+00:00

David Aspinall

1999-11-19T17:54:19+00:00

779def3226ef45b82fd95ac506caea6f0afb92bd












Added interrupt button.
1999-10-01T11:18:37+00:00

David Aspinall

1999-10-01T11:18:37+00:00

5a135c2193fef3dfbb023d05c56deef77be35847












Updated with new buttons
1999-09-22T15:44:55+00:00

David Aspinall

1999-09-22T15:44:55+00:00

9e84e39364da4a4a02143a3597c5f586e0a7b1be












Updated for gimp 1.1.9
1999-09-13T16:45:50+00:00

David Aspinall

1999-09-13T16:45:50+00:00

d6d32a08e2a8693c3415f66c3a111d00b80e51f4












Added new buttons.  (xbm files currently missing, some icons not made yet, confusingly copied old ones.
1999-09-13T14:22:02+00:00

David Aspinall

1999-09-13T14:22:02+00:00

1fa284b5bd94a0f84604f80b928dac668b880cc5












Updates and new images
1999-06-24T13:53:19+00:00

David Aspinall

1999-06-24T13:53:19+00:00

a9c08e799500d19e9dcc9d9eb46a70f8478b8499












Made PROOF logo same width as GENERAL. Made both have transparent background.
1998-11-18T14:39:32+00:00

David Aspinall

1998-11-18T14:39:32+00:00

0edb248cfa17eb96e8d5ec854550016b6feea2ba