Please do. If you'd like to, I would be happy to take a pull request so that your sources could go into our main github repository.
Michael On 27 Dec 2013, at 8:26, "Domenico D. D. Masini" <[email protected]<mailto:[email protected]>> wrote: Hello, I'm studying HOL since some months. I'm not a professional but just an amateur. While studying, I'm translating in Italian the HOL4 documentation: currently I've finished the translation of Tutorial and Logic. I would like to ask you if I can share these translations. My idea was to put the latex sources translated in Italian somewhere on github together with the built pdf. Is this allowed by the copyright? I know that HOL4 is an open source project with a BSD-style license, but I'm not quite sure about this question. Kind Regards, Domenico Kind Regards, Domenico ------------------------------------------------------------------------------ Rapidly troubleshoot problems before they affect your business. Most IT organizations don't have a clear picture of how application performance affects their revenue. With AppDynamics, you get 100% visibility into your Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected]<mailto:[email protected]> https://lists.sourceforge.net/lists/listinfo/hol-info ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. ------------------------------------------------------------------------------ Rapidly troubleshoot problems before they affect your business. Most IT organizations don't have a clear picture of how application performance affects their revenue. With AppDynamics, you get 100% visibility into your Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
