aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Rogan Creswick <creswick@gmail.com>2013-02-08 14:35:31 -0800
committerGravatar Rogan Creswick <creswick@gmail.com>2013-02-08 14:35:31 -0800
commit34b178d92e4d35ca4026f22012fa7d4a4cb1923b (patch)
tree23d68f2e9fa41f7b38c3bce49ed2f906633333c2 /doc
parentb08049b006fbeca7e911a6d549d1846e6ff53f38 (diff)
added index.html for top-level docs
Diffstat (limited to 'doc')
-rw-r--r--doc/index.html100
1 files changed, 100 insertions, 0 deletions
diff --git a/doc/index.html b/doc/index.html
new file mode 100644
index 0000000..d5491a8
--- /dev/null
+++ b/doc/index.html
@@ -0,0 +1,100 @@
+<!DOCTYPE html>
+<html>
+<head>
+ <meta charset='utf-8'>
+
+ <title>GaloisInc/FiveUI @ GitHub</title>
+
+ <link rel="stylesheet" type="text/css" href="reset.css" media="all">
+ <link rel="stylesheet" type="text/css" href="style.css" media="all">
+
+ <script type="text/javascript">
+
+ var _gaq = _gaq || [];
+ _gaq.push(['_setAccount', 'UA-30497318-1']);
+ _gaq.push(['_trackPageview']);
+
+ (function() {
+ var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
+ ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
+ var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
+ })();
+
+ </script>
+</head>
+
+<body>
+ <a href="https://github.com/GaloisInc/FiveUI">
+ <img style="position: absolute; top: 0; right: 0; border: 0;" src="http://s3.amazonaws.com/github/ribbons/forkme_right_darkblue_121621.png" alt="Fork me on GitHub" />
+ </a>
+ <header>
+ <div class="wrap">
+ <a href="http://galois.com" id="logo" title="Galois Open Source"><img src="images/logo.png" alt="Galois" /></a>
+ <h2>Open Source</h2>
+ <nav id="primary">
+ <ul>
+ <li><a href="http://galois.com">Company website</a></li>
+ <li><a href="https://github.com/GaloisInc/">Github home</a></li>
+ </ul>
+ </nav><!-- /#primary -->
+ </div><!-- /.wrap -->
+ </header>
+ <section id="content">
+
+ <div class="download">
+ <div class="wrap">
+ <h1>
+ <a href="https://github.com/GaloisInc/FiveUI">Five UI</a>
+ <small>by <a href="https://github.com/GaloisInc">GaloisInc</a></small>
+ </h1>
+ <h2>Extensible UI analysis in your browser:</h2>
+ <a class="button" href="binaries/fiveui.xpi">Firefox</a>
+ <a class="button" href="binaries/fiveui.crx">Chrome</a>
+ <p>or clone the project with Git by running:</p>
+ <pre>$ git clone git://github.com/GaloisInc/FiveUI</pre>
+ </div><!-- /.wrap -->
+ </div><!-- /.download -->
+
+ <div class="wrap">
+ <article class="column">
+ <h2>Documentation</h2>
+ <ul>
+ <li><a href="doc/manual/install.html">Install Guide</a></li>
+ <li><a href="doc/manual/gettingStarted.html">Getting Started Guide</a></li>
+ <li><a href="doc/jsdoc/index.html">JS Doc</a></li>
+ </ul>
+ </article><!-- /.column -->
+ <!-- <article class="column"> -->
+ <!-- <h2>Install</h2> -->
+ <!-- <p>Install FiveUI in your browser:</p> -->
+ <!-- <ul> -->
+ <!-- <li><a href="binaries/fiveui.crx">Chrome</a></li> -->
+ <!-- <li><a href="binaries/fiveui.xpi">Firefox</a></li> -->
+ <!-- </ul> -->
+ <!-- </article><\!-- /.column -\-> -->
+ <article class="column">
+ <h2>Authors</h2>
+ <ul>
+ <li>Rogan Creswick <br /><a href="mailto:creswick@galois.com">creswick@galois.com</a></li>
+ <li>Trevor Elliott</li>
+ <li>Ben Jones</li>
+ </ul>
+ </article><!-- /.column -->
+ </div><!-- /.wrap -->
+ <div class="clearfix"></div>
+ </section><!-- /#content -->
+
+ <footer>
+ <div class="wrap">
+ <nav id="footer-nav">
+ <ul>
+ <li><a href="#contact">Contact</a></li>
+ </ul>
+ </nav>
+
+ <p>Copyright &copy; 2012 Galois, Inc. All rights reserved.</p>
+ </div><!-- /.wrap -->
+ </footer>
+
+</body>
+</html>