Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update PG's logo | Clément Pit--Claudel | 2016-05-24 |
| | | | | | | | The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks! | ||
* | rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} | Hendrik Tews | 2013-05-22 |
| | | | | to fix #472 | ||
* | Adjust license to CC-BY-SA-3 | David Aspinall | 2012-01-11 |
| | |||
* | merge ProofTreeBranch into main trunk: | Hendrik Tews | 2012-01-03 |
| | | | | | | | | | | | | | | | | - add support for proof-tree displays (currently Coq only) - new file generic/proof-tree.el contains generic code - Coq specific code has been added to coq/coq.el Changes to existing Proof General functions: - proof-shell-exec-loop and proof-shell-filter-manage-output call proof-tree display functions, when the proof-tree display is on - proof-shell-exec-loop returns t if proof-action-list is empty _or_ contains only items for updating the proof-tree - proof-shell-should-be-silent returns nil when the proof-tree display is on - coq-last-prompt-info, coq-last-prompt-info-safe return as additional 4th element the name of the current proof | ||
* | Fix transparency for PNGs | David Aspinall | 2010-10-11 |
| | |||
* | Defunct | David Aspinall | 2010-10-11 |
| | |||
* | Add home icon | David Aspinall | 2009-08-07 |
| | |||
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
| | |||
* | Fix antialising | David Aspinall | 2007-12-12 |
| | |||
* | Fix icon sizes, antialising | David Aspinall | 2007-12-12 |
| | |||
* | Updated cropped images | David Aspinall | 2007-12-12 |
| | |||
* | Tune backgrounds | David Aspinall | 2007-12-12 |
| | |||
* | Fixup icons | David Aspinall | 2007-12-12 |
| | |||
* | Cleanup | David Aspinall | 2007-12-12 |
| | |||
* | Updated. | David Aspinall | 2007-12-12 |
| | |||
* | New files. | David Aspinall | 2007-12-12 |
| | |||
* | 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 |
| |