summaryrefslogtreecommitdiff
path: root/extras/luacov/doc/license.html
diff options
context:
space:
mode:
Diffstat (limited to 'extras/luacov/doc/license.html')
-rw-r--r--extras/luacov/doc/license.html113
1 files changed, 113 insertions, 0 deletions
diff --git a/extras/luacov/doc/license.html b/extras/luacov/doc/license.html
new file mode 100644
index 0000000..afbb9f6
--- /dev/null
+++ b/extras/luacov/doc/license.html
@@ -0,0 +1,113 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html>
+<head>
+ <title>LuaCov - Coverage analysis for Lua scripts</title>
+ <link rel="stylesheet" href="doc.css" type="text/css" />
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
+</head>
+
+<body>
+
+<div id="container">
+
+<div id="product">
+ <div id="product_logo"><a href="http://luacov.luaforge.net">
+ <img alt="LuaCov logo" src="luacov.png" />
+ </a></div>
+ <div id="product_name"><big><b>LuaCov</b></big></div>
+ <div id="product_description">Coverage analysis for Lua scripts</div>
+</div> <!-- id="product" -->
+
+<div id="main">
+
+<div id="navigation">
+
+<h1>LuaCov</h1>
+
+<ul>
+ <li><a href="index.html">Home</a>
+ <ul>
+ <li> <a href="index.html#over">Overview</a></li>
+ <li> <a href="index.html#download">Download</a></li>
+ <li> <a href="index.html#dependencies">Instructions</a></li>
+ <li> <a href="index.html#history">History</a></li>
+ <li> <a href="index.html#credits">Credits</a></li>
+ <li> <a href="index.html#contact">Contact</a></li>
+ </ul>
+ </li>
+ <li><a href="http://luaforge.net/projects/luacov/">Project</a>
+ <ul>
+ <li><a href="http://luaforge.net/scm/?group_id=290">CVS</a></li>
+ </ul>
+ </li>
+ <li><strong>License</strong></li>
+</ul>
+
+</div> <!-- id="navigation" -->
+
+<div id="content">
+
+<h2>License</h2>
+
+<p>
+LuaCov is free software: it can be used for both academic and commercial purposes
+at absolutely no cost. There are no royalties or GNU-like "copyleft" restrictions.
+LuaCov qualifies as <a href="http://www.opensource.org/docs/definition.html">Open Source</a> software.
+Its licenses are compatible with <a href="http://www.gnu.org/licenses/gpl.html">GPL</a>.
+LuaCov is not in the public domain. The legal details are below.
+</p>
+
+<p>
+The spirit of the license is that you are free to use LuaCov for any purpose
+at no cost without having to ask us. The only requirement is that if you do use
+LuaCov, then you should give us credit by including the appropriate copyright notice
+somewhere in your product or its documentation.
+</p>
+
+<p>
+LuaCov is designed and implemented by Hisham Muhammad.
+The implementation is not derived from licensed software.
+</p>
+
+<hr/>
+
+<p>Copyright (c) 2007 Hisham Muhammad.</p>
+
+<p>
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+</p>
+
+<p>
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+</p>
+
+<p>
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+</p>
+
+</div> <!-- id="content" -->
+
+</div> <!-- id="main" -->
+
+<div id="about">
+ <p><a href="http://validator.w3.org/check?uri=referer">
+ <img src="http://www.w3.org/Icons/valid-xhtml10" alt="Valid XHTML 1.0!" height="31" width="88" /></a></p>
+</div> <!-- id="about" -->
+
+</div> <!-- id="container" -->
+
+</body>
+</html>