Hello, if Domenico needs help in translating I can help too. Wishes of a happy new year,
Andrea On 26/12/13 20:46, Michael Norrish wrote: > 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 ------------------------------------------------------------------------------ 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
