doc/index.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100

<!DOCTYPE html>
<html>
<head>
  <meta charset='utf-8'>

  <title>GaloisInc/FiveUI @ GitHub</title>

  <link rel="stylesheet" type="text/css" href="css/reset.css" media="all">
  <link rel="stylesheet" type="text/css" href="css/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="manual/install.html">Install Guide</a></li>
          <li><a href="manual/gettingStarted.html">Getting Started Guide</a></li>
          <li><a href="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>Benjamin Jones <br /><a href="mailto:bjones@galois.com">bjones@galois.com</a></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&mdash;2013 Galois, Inc. All rights reserved.</p>
    </div><!-- /.wrap -->
  </footer>

</body>
</html>