proof-general/images, branch master Emacs plugins for proof management systems Update license information for new logo 2016-05-25T05:05:49+00:00 Clément Pit--Claudel 2016-05-25T05:05:49+00:00 d43687a0f25a8e1d7684a82bf0460c79fe784a52 






Update PG's logo
2016-05-25T03:28:08+00:00

Clément Pit--Claudel

2016-05-25T03:28:08+00:00

adbaafb96696f7cd65c53ecad71aac095bee1338

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!





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}
2013-05-22T19:05:48+00:00

Hendrik Tews

2013-05-22T19:05:48+00:00

00ba5d0fb4ee7754f095f73621c613cb816c1ce9

to fix #472





to fix #472







Adjust license to CC-BY-SA-3
2012-01-11T10:55:34+00:00

David Aspinall

2012-01-11T10:55:34+00:00

d4281c2dbe6c439bd953aa696f57f344fd0d0a42












merge ProofTreeBranch into main trunk:
2012-01-03T09:36:05+00:00

Hendrik Tews

2012-01-03T09:36:05+00:00

34c15424cc454cd59c5e094093acd6ddbdcc5186

- 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





- 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
2010-10-11T00:01:14+00:00

David Aspinall

2010-10-11T00:01:14+00:00

4a5d51dba80d7437692e8ecd5151e85105405f85












Defunct
2010-10-11T00:00:49+00:00

David Aspinall

2010-10-11T00:00:49+00:00

0a96ff60973b36fa6b8542ca5aede4b598ea6368












Add home icon
2009-08-07T14:29:24+00:00

David Aspinall

2009-08-07T14:29:24+00:00

5ce0c4a33b4bf8b92accc1eb3e057c989b5c0001












Merge changes from Version4Branch.
2008-07-24T09:51:53+00:00

David Aspinall

2008-07-24T09:51:53+00:00

76d6b0b2b1f039549d308a0d2c478a6b05869af9












Fix antialising
2007-12-12T23:15:42+00:00

David Aspinall

2007-12-12T23:15:42+00:00

2b991be9f2bdd87be4267c29237b3d276c0203e7