> On 19 May 2020, at 15:45, Pavneet Arora <pavneet_ar...@waroc.com> wrote: > > The texts are on > github, but no mention of license:
The license is given on the Github page: "This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License." <https://github.com/hoeflerco/proofs/blob/master/license.md> -- Bruce Horrocks Hampshire, UK ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://context.aanhet.net archive : https://bitbucket.org/phg/context-mirror/commits/ wiki : http://contextgarden.net ___________________________________________________________________________________
