proof-general/images/Makefile, branch master

proof-general/images/Makefile, branch master Emacs plugins for proof management systems Deleted file 2007-12-11T19:26:16+00:00 David Aspinall 2007-12-11T19:26:16+00:00 39a5d68776d9a15df87a256f394897d84fd2e8bc

Updated. 2007-12-10T15:02:46+00:00 David Aspinall 2007-12-10T15:02:46+00:00 2ac41fbbaf8ed8dea1cd44f461e4fc4e9c990da1

Update targets 2004-06-16T15:08:11+00:00 David Aspinall 2004-06-16T15:08:11+00:00 f09e8d5f67686a9ff5caef7415b9a22e72847dfc

Remove isabelle logo 2002-08-29T14:19:40+00:00 David Aspinall 2002-08-29T14:19:40+00:00 88093c5e6aaefa62994e783a840717cd11856f99

Remove xbm's 2000-09-23T14:24:11+00:00 David Aspinall 2000-09-23T14:24:11+00:00 65e8ad32780ff96683e578021bd08b03c3d4024a

added abort button 2000-09-20T07:10:12+00:00 Christophe Raffalli 2000-09-20T07:10:12+00:00 0c2e2680b2327e4c495d405a2a1e7b058bc1921b

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

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