repos
/
cl-unification
/ annotate_shade
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
headblob
|
headfilediff
|
filehistory
normal
|
plain
|
shade
|
zebra
Use *unify-string-case-sensitive-p* consistently.
Annotate for file /docs/html/unification-dictionary.html
2004-11-17 mantoniotti
1
<html>
22:19:54 '
2
<head>
'
3
<title>CL Unification Dictionary</title>
'
4
<link rel="stylesheet" href="main.css">
'
5
</head>
'
6
'
7
<body marginheight="0" marginwidth="0" leftmargin="0" topmargin="0" bgcolor="#ffffff">
'
8
'
9
<table border="0" cellpadding="0" cellspacing="0" width="100%" height="100%" vspace="0" hspace="0">
'
10
<tr>
'
11
<td colspan="3">
'
12
<div class="header"
'
13
style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;">
'
14
<strong><i>CL Extensions: UNIFICATION Dictionary</i><string>
'
15
<div class="navigation">
'
16
<a href="index.html" class="navigation-link">Home</a>
'
17
| <a href="index.html" class="navigation-link">Previous</a>
'
18
| <a href="index.html" class="navigation-link">Next</a>
'
19
| <a href="downloads.html" class="navigation-link">Downloads</a>
'
20
| <a href="links.html" class="navigation-link">Links</a>
'
21
</div>
'
22
</div>
'
23
<div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
'
24
<div class="middle-bar"><img src="images/shim.gif" height="5" width="1"></div>
'
25
<div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
'
26
</td>
'
27
</tr>
'
28
'
29
<tr height="100%">
'
30
<td height="100%"> </td>
'
31
<td valign="top" width="80%" height="100%">
'
32
'
33
<div class="content">
'
34
<div class="text" style="padding-top: 10px;">
'
35
'
36
<h1>Common Lisp Extensions: UNIFICATION Dictionary</h1>
'
37
'
38
<ul>
'
39
<li><a href="unify-package.html"><i>Package</i> <b>CL.EXT.DACF.UNIFICATION</b></a>
'
40
<li><a href="unify-function.html"><i>Generic function</i> <b>UNIFY</b></a>
2011-04-02 rbrown
41
<li><a href="usci-variable.html"><i>Variable</i> <b>*UNIFY-STRING-CASE-SENSITIVE*</b></a>
2004-11-17 mantoniotti
42
22:19:54 '
43
<li><a href="template-class.html"><i>Class</i> <b>TEMPLATE</b></a>
'
44
<li><a href="expression-template-class.html"><i>Class</i> <b>EXPRESSION-TEMPLATE</b></a>
'
45
<li><a href="element-template-class.html"><i>Class</i> <b>ELEMENT-TEMPLATE</b></a></li>
2005-05-20 mantoniotti
46
<li><a href="aref-template-class.html"><i>Class</i> <b>AREF-TEMPLATE</b></a></li>
2004-11-17 mantoniotti
47
<li><a href="elt-template-class.html"><i>Class</i> <b>ELT-TEMPLATE</b></a></li>
22:19:54 '
48
<li><a href="nth-template-class.html"><i>Class</i> <b>NTH-TEMPLATE</b></a></li>
'
49
<li><a href="nthcdr-template-class.html"><i>Class</i> <b>NTHCDR-TEMPLATE</b></a></li>
'
50
'
51
<li><a href="type-template-class.html"><i>Class</i> <b>TYPE-TEMPLATE</b></a>
2005-05-20 mantoniotti
52
16:27:05 '
53
<li><a href="array-template-class.html"><i>Class</i> <b>ARRAY-TEMPLATE</b></a></li>
'
54
<li><a href="nil-template-class.html"><i>Class</i> <b>NIL-TEMPLATE</b></a>
'
55
<li><a href="number-template-class.html"><i>Class</i> <b>NUMBER-TEMPLATE</b></a></li>
2004-11-17 mantoniotti
56
<li><a href="symbol-template-class.html"><i>Class</i> <b>SYMBOL-TEMPLATE</b></a>
22:19:54 '
57
2005-05-20 mantoniotti
58
<li><a href="standard-object-template-class.html"><i>Class</i> <b>STANDARD-OBJECT-TEMPLATE</b></a></li>
16:27:05 '
59
<li><a href="structure-object-template-class.html"><i>Class</i> <b>STRUCTURE-OBJECT-TEMPLATE</b></a></li>
'
60
2004-11-17 mantoniotti
61
<li><a href="make-template-function.html"><i>Function</i> <b>MAKE-TEMPLATE</b></a>
22:19:54 '
62
<li><a href="template-p-function.html"><i>Generic function</i> <b>TEMPLATE-P</b></a>
'
63
<li><a href="template-spec-accessor.html"><i>Accessor</i> <b>TEMPLATE-SPEC</b></a>
'
64
<li><a href="hash-t-read-macro.html"><i>Reader Macro</i> <b>#T</b></a>
'
65
<li><a href="make-empty-environment-function.html"><i>Function</i> <b>MAKE-EMPTY-ENVIRONMENT</b></a>
'
66
<li><a href="find-variable-value-function.html"><i>Function</i> <b>FIND-VARIABLE-VALUE</b></a>
'
67
<li><a href="match-macro.html"><i>Macro</i> <b>MATCH</b></a>
'
68
<li><a href="matching-macro.html"><i>Macro</i> <b>MATCHING</b></a>
'
69
<li><a href="match-case-macro.html"><i>Macro</i> <b>MATCH-CASE</b></a>
'
70
</ul>
'
71
'
72
'
73
<!--
2005-05-20 mantoniotti
74
;;; Copyright (c) 2004-2005 Marco Antoniotti, All rigths reserved.
2004-11-17 mantoniotti
75
;;;
22:19:54 '
76
;;; Permission to use, modify, and redistribute this code is hereby
'
77
;;; granted.
'
78
;;; The code is provided AS IS with NO warranty whatsoever. The author
'
79
;;; will not be held liable etc etc etc etc etc.
'
80
-->
'
81
2005-05-20 mantoniotti
82
<!-- <h2>Site Map</h2> -->
2004-11-17 mantoniotti
83
22:19:54 '
84
'
85
<p>Enjoy!</p>
'
86
'
87
'
88
'
89
<hr>
'
90
<p>Questions? Queries? Suggestions? Comments? Please direct them
'
91
at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>.
'
92
</p>
'
93
'
94
</div>
'
95
</div>
'
96
'
97
</td>
'
98
'
99
<!-- <td height="100%"> </td> -->
'
100
</tr>
'
101
'
102
<tr height="100%">
'
103
<td height="100%"> </td>
'
104
<td valign="top" width="80%" height="100%">
'
105
'
106
<div class="content">
'
107
<div class="text" style="padding-top: 10px;">
'
108
2011-04-02 mantoniotti
109
<!-- <h1>News</h1>
2004-11-17 mantoniotti
110
22:19:54 '
111
<p>News in chronological order, most recent on top.
'
112
</p>
'
113
'
114
<ul>
2005-05-20 mantoniotti
115
<li><strong>2005-05-20</strong><br>
16:27:05 '
116
Page updated.
2004-11-17 mantoniotti
117
<li><strong>2004-05-05</strong><br>
2005-05-20 mantoniotti
118
Started the page.
2004-11-17 mantoniotti
119
</li>
22:19:54 '
120
</ul>
2011-04-02 mantoniotti
121
-->
2004-11-17 mantoniotti
122
</div>
22:19:54 '
123
</div>
'
124
'
125
</td>
'
126
'
127
<td height="100%"> </td>
'
128
</tr>
'
129
'
130
'
131
'
132
'
133
<tr>
'
134
<td colspan="3" valign="bottom" align="right">
'
135
<div class="copyright">
2011-04-02 mantoniotti
136
© 2003-2011, Marco Antoniotti, all rights reserved.
2004-11-17 mantoniotti
137
</div>
22:19:54 '
138
</td>
'
139
</tr>
'
140
'
141
</table>
'
142
</body>
'
143
</html>