We've included Domenico's work in the repository, so we have a foundation for further edits if anyone would like to suggest them.
Best wishes, Michael > On 29 Dec 2013, at 7:06, "Andrea" <[email protected]> wrote: > > 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 ------------------------------------------------------------------------------ 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
