File: ref_man_index.html

package info (click to toggle)
erlang-doc-html 1%3A12.b.3-dfsg-1
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 27,712 kB
  • ctags: 13,052
  • sloc: erlang: 505; ansic: 323; perl: 61; makefile: 57; sh: 23
file content (66 lines) | stat: -rw-r--r-- 1,733 bytes parent folder | download
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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<!-- This document was generated using DocBuilder-0.9.8.4 -->
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
  <title>INDEX</title>
  <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/>
  
  <style type="text/css">
<!--
    body          { font-family: Verdana, Arial, Helvetica, sans-serif }
    span.bold_code        { font-family: courier;font-weight: bold}
    span.code        { font-family: courier;font-weight: normal}

.note, .warning {
  border: solid black 1px;
  margin: 1em 3em;
}

.note .label {
  background: #30d42a;
  color: white;
  font-weight: bold;
  padding: 5px 10px;
}
.note .content {
  background: #eafeea;
  color: black;
  line-height: 120%;
  font-size: 90%;
  padding: 5px 10px;
}
.warning .label {
  background: #C00;
  color: white;
  font-weight: bold;
  padding: 5px 10px;
}
.warning .content {
  background: #FFF0F0;
  color: black;
  line-height: 120%;
  font-size: 90%;
  padding: 5px 10px;
}

    .example     { background-color:#eeeeff } 
    pre          { font-family: courier; font-weight: normal }
    .REFBODY     { margin-left: 13mm }
    .REFTYPES    { margin-left: 8mm }
-->
  </style>
</head>
<body bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#FF00FF" alink="#FF0000">
<h1>INDEX</h1>
<p><em>Emphasized</em> index entries refer to <em>modules</em>
and <code>Courier</code> ditos to <code>functions</code>.
</p>
<dl>
<dt><code>start/0</code></dt>
<dd><a href="tv.html#start-0"><em>tv</em></a></dd>
<dt><em>tv</em></dt>
<dd><a href="tv.html#start-0"><code>start/0</code></a></dd>
</dl>
</body >
</html>