Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Updated. | David Aspinall | 2007-12-11 |
* | Deleted file | David Aspinall | 2007-12-11 |
* | Updated. | David Aspinall | 2007-12-11 |
* | Deleted file | David Aspinall | 2007-12-11 |
* | Pruned buttons | David Aspinall | 2007-12-11 |
* | Deleted file | David Aspinall | 2007-12-11 |
* | New files. | David Aspinall | 2007-12-11 |
* | Updated. | David Aspinall | 2007-12-10 |
* | New files. | David Aspinall | 2007-12-10 |
* | Updated. | David Aspinall | 2007-12-09 |
* | Update targets | David Aspinall | 2004-06-16 |
* | Renamed file | David Aspinall | 2004-03-01 |
* | Renamed files | David Aspinall | 2004-03-01 |
* | Renamed file | David Aspinall | 2004-03-01 |
* | Renamed file | David Aspinall | 2004-03-01 |
* | Deleted file | David Aspinall | 2004-02-28 |
* | New files. | David Aspinall | 2004-02-28 |
* | New files. | David Aspinall | 2003-10-05 |
* | Remove isabelle logo | David Aspinall | 2002-08-29 |
* | Deleted files. | David Aspinall | 2002-08-29 |
* | New files. | David Aspinall | 2002-08-08 |
* | Add note about favicon. | David Aspinall | 2002-07-13 |
* | Add note about favicon. | David Aspinall | 2002-07-13 |
* | Add icon images. | David Aspinall | 2000-09-29 |
* | Make backgroundize | David Aspinall | 2000-09-26 |
* | Image of the general with ??? badge | David Aspinall | 2000-09-23 |
* | Deleted file | David Aspinall | 2000-09-23 |
* | Deleted file | David Aspinall | 2000-09-23 |
* | Improved(?) goto button | David Aspinall | 2000-09-23 |
* | Remove obsolete xbms | David Aspinall | 2000-09-23 |
* | Remove xbm's | David Aspinall | 2000-09-23 |
* | Tweaked abort button | David Aspinall | 2000-09-21 |
* | New generated buttons. | David Aspinall | 2000-09-20 |
* | Add new button | David Aspinall | 2000-09-20 |
* | added abort button | Christophe Raffalli | 2000-09-20 |
* | abort button | Christophe Raffalli | 2000-09-20 |
* | Updated. | David Aspinall | 2000-09-14 |
* | Reduced sizes of images. | David Aspinall | 2000-09-13 |
* | Updated | David Aspinall | 1999-11-24 |
* | New button | David Aspinall | 1999-11-19 |
* | Added goto button. | David Aspinall | 1999-11-19 |
* | Button for proof-goto-point action. | David Aspinall | 1999-11-19 |
* | Added interrupt button. | David Aspinall | 1999-10-01 |
* | Added icons. | David Aspinall | 1999-09-30 |
* | Look up and left for context, down and right for state. Are these the right ... | David Aspinall | 1999-09-22 |
* | New buttons | David Aspinall | 1999-09-22 |
* | Updated buttons. | David Aspinall | 1999-09-22 |
* | Changed name of button | David Aspinall | 1999-09-22 |
* | Updated with new buttons | David Aspinall | 1999-09-22 |
* | Image a bit like show. | David Aspinall | 1999-09-22 |