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]
https://lists.sourceforge.net/lists/listinfo/hol-info
