proof-general/images/gimp, branch master

proof-general/images/gimp, branch master Emacs plugins for proof management systems Defunct 2010-10-11T00:00:49+00:00 David Aspinall 2010-10-11T00:00:49+00:00 0a96ff60973b36fa6b8542ca5aede4b598ea6368

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

Updated 1999-09-13T15:54:58+00:00 David Aspinall 1999-09-13T15:54:58+00:00 18fe11189a5f76e434c8701121c57fceee9fe9ef

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