Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / License
1 <!DOCTYPE html>
2 <html lang="en">
3 <head>
4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
5 <meta name="generator" content="AsciiDoc 8.6.9">
6 <title>License</title>
7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
8 <link rel="stylesheet" href="./pygments.css" type="text/css">
9
10
11 <script type="text/javascript" src="./asciidoc.js"></script>
12 <script type="text/javascript">
13 /*<![CDATA[*/
14 asciidoc.install();
15 /*]]>*/
16 </script>
17 <link rel="stylesheet" href="./mlton.css" type="text/css">
18 </head>
19 <body class="article">
20 <div id="banner">
21 <div id="banner-home">
22 <a href="./Home">MLton 20180207</a>
23 </div>
24 </div>
25 <div id="header">
26 <h1>License</h1>
27 </div>
28 <div id="content">
29 <div class="sect1">
30 <h2 id="_web_site">Web Site</h2>
31 <div class="sectionbody">
32 <div class="paragraph"><p>In order to allow the maximum freedom for the future use of the
33 content in this web site, we require that contributions to the web
34 site be dedicated to the public domain. That means that you can only
35 add works that are already in the public domain, or that you must hold
36 the copyright on the work that you agree to dedicate the work to the
37 public domain.</p></div>
38 <div class="paragraph"><p>By contributing to this web site, you agree to dedicate your
39 contribution to the public domain.</p></div>
40 </div>
41 </div>
42 <div class="sect1">
43 <h2 id="_software">Software</h2>
44 <div class="sectionbody">
45 <div class="paragraph"><p>As of 20050812, MLton software is licensed under the BSD-style license
46 below. By contributing code to the project, you agree to release the
47 code under this license. Contributors can retain copyright to their
48 contributions by asserting copyright in their code. Contributors may
49 also add to the list of copyright holders in
50 <span class="monospaced">doc/license/MLton-LICENSE</span>, which appears below.</p></div>
51 <div class="listingblock">
52 <div class="content"><div class="highlight"><pre>../../LICENSE
53 </pre></div></div></div>
54 </div>
55 </div>
56 </div>
57 <div id="footnotes"><hr></div>
58 <div id="footer">
59 <div id="footer-text">
60 </div>
61 <div id="footer-badges">
62 </div>
63 </div>
64 </body>
65 </html>