Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update license information for new logo | 2016-05-25 | |
* | Update PG's logo | 2016-05-24 | |
* | rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} | 2013-05-22 | |
* | Adjust license to CC-BY-SA-3 | 2012-01-11 | |
* | merge ProofTreeBranch into main trunk: | 2012-01-03 | |
* | Fix transparency for PNGs | 2010-10-11 | |
* | Defunct | 2010-10-11 | |
* | Add home icon | 2009-08-07 | |
* | Merge changes from Version4Branch. | 2008-07-24 | |
* | Fix antialising | 2007-12-12 | |
* | Fix icon sizes, antialising | 2007-12-12 | |
* | Updated cropped images | 2007-12-12 | |
* | Tune backgrounds | 2007-12-12 | |
* | Fixup icons | 2007-12-12 | |
* | Cleanup | 2007-12-12 | |
* | Updated. | 2007-12-12 | |
* | New files. | 2007-12-12 | |
* | Updated. | 2007-12-11 | |
* | Deleted file | 2007-12-11 | |
* | Updated. | 2007-12-11 | |
* | Deleted file | 2007-12-11 | |
* | Pruned buttons | 2007-12-11 | |
* | Deleted file | 2007-12-11 | |
* | New files. | 2007-12-11 | |
* | Updated. | 2007-12-10 | |
* | New files. | 2007-12-10 | |
* | Updated. | 2007-12-09 | |
* | Update targets | 2004-06-16 | |
* | Renamed file | 2004-03-01 | |
* | Renamed files | 2004-03-01 | |
* | Renamed file | 2004-03-01 | |
* | Renamed file | 2004-03-01 | |
* | Deleted file | 2004-02-28 | |
* | New files. | 2004-02-28 | |
* | New files. | 2003-10-05 | |
* | Remove isabelle logo | 2002-08-29 | |
* | Deleted files. | 2002-08-29 | |
* | New files. | 2002-08-08 | |
* | Add note about favicon. | 2002-07-13 | |
* | Add note about favicon. | 2002-07-13 | |
* | Add icon images. | 2000-09-29 | |
* | Make backgroundize | 2000-09-26 | |
* | Image of the general with ??? badge | 2000-09-23 | |
* | Deleted file | 2000-09-23 | |
* | Deleted file | 2000-09-23 | |
* | Improved(?) goto button | 2000-09-23 | |
* | Remove obsolete xbms | 2000-09-23 | |
* | Remove xbm's | 2000-09-23 | |
* | Tweaked abort button | 2000-09-21 | |
* | New generated buttons. | 2000-09-20 |