proof-general/images/README, 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!







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

David Aspinall

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

d4281c2dbe6c439bd953aa696f57f344fd0d0a42












Updated.
2007-12-12T00:01:21+00:00

David Aspinall

2007-12-12T00:01:21+00:00

2daaa99733dab8a003b997986fb77ee237eb6b74












Updated.
2007-12-11T19:31:45+00:00

David Aspinall

2007-12-11T19:31:45+00:00

db17f91197a181ce2668adac75bd00ff37bd38cb












Updated.
2007-12-11T19:26:07+00:00

David Aspinall

2007-12-11T19:26:07+00:00

6859c3dfa233c8844505d12cb86fb385704d3f54












Updated.
2007-12-09T17:58:36+00:00

David Aspinall

2007-12-09T17:58:36+00:00

5eb8f216cd3a70930281adf089821c9c3b1c0c16












Updated maintainer tags to remove lego email address.
1998-10-01T17:43:13+00:00

David Aspinall

1998-10-01T17:43:13+00:00

6d06073ac1917748f13739d430202064407b00d5












New CD-player type icons
1998-09-22T13:27:34+00:00

David Aspinall

1998-09-22T13:27:34+00:00

dba2d8704e39d8d6deae1ecd1f7dd483c1c3add4












Message for images directory
1998-09-09T13:40:45+00:00

David Aspinall

1998-09-09T13:40:45+00:00

77848ea060822a639b32e2d44d7325b2bfe1ec15