README claims that these images are distributed under GPL, but I am not sure what "source code" , "executable code", "program", or "any work based on the program" are for images. If I use these images in my blog, is my blog post "based on the program"? Should my post be distributed under GPL?
I believe CC or some other license is appropriate for the images. How do you think?
Cf. The original Proof General images are released under the CC BY-SA. (See ProofGeneral/images/README)
cpitclaudel
commented
8 years ago
README claims that these images are distributed under GPL, but I am not sure what "source code" , "executable code", "program", or "any work based on the program" are for images. If I use these images in my blog, is my blog post "based on the program"? Should my post be distributed under GPL?
I believe CC or some other license is appropriate for the images. How do you think?
Cf. The original Proof General images are released under the CC BY-SA. (See ProofGeneral/images/README)