repos
/
cl-unification
/ annotate_shade
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
headblob
|
headfilediff
|
filehistory
normal
|
plain
|
shade
|
zebra
Copyright updated.
Annotate for file docs/html/links.html
2004-11-17 mantoniotti
1
<html>
22:19:54 '
2
<head>
2005-04-21 mantoniotti
3
<title>CL Unification Links</title>
2004-11-17 mantoniotti
4
<link rel="stylesheet" href="main.css">
22:19:54 '
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;">
2005-04-21 mantoniotti
14
<strong><i>CL Unification Links</i><string>
2004-11-17 mantoniotti
15
<div class="navigation">
22:19:54 '
16
<a href="index.html" class="navigation-link">Home</a>
2005-04-21 mantoniotti
17
| <a href="downloads.html" class="navigation-link">Downloads</a>
2004-11-17 mantoniotti
18
| <a href="links.html" class="navigation-link-selected">Links</a>
22:19:54 '
19
</div>
'
20
</div>
'
21
<div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
'
22
<div class="middle-bar"><img src="images/shim.gif" height="5" width="1"></div>
'
23
<div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
'
24
</td>
'
25
</tr>
'
26
'
27
<tr height="100%">
'
28
<td height="100%"> </td>
'
29
<td valign="top" width="80%" height="100%">
'
30
'
31
<div class="content">
'
32
<div class="text" style="padding-top: 10px;">
'
33
'
34
<h1>Links</h1>
'
35
2005-04-21 mantoniotti
36
<p>Here are some links which are pertinent to the
15:33:20 '
37
<strong>CL-UNIFICATION</strong> project.</p>
2004-11-17 mantoniotti
38
2005-05-20 mantoniotti
39
<p>
16:33:24 '
40
<ul>
'
41
<li><a href="http://common-lisp.net">common-lisp.net</a>: the host site.</li>
'
42
<li><a href="http://clocc.sourceforge.net">CLOCC</a>: the site hosting <strong>MK:DEFSYSTEM</strong>.</li>
2005-05-20 mantoniotti
43
<li><a href="http://mitpress.mit.edu/sicp">Structure and Interpretation of Computer Programs</a>: the SICP site, where inspiration for the unifier can be found.</li>
16:41:16 '
44
<li><a href="http://www.norvig.com/paip.html">Paradigms of Artificial Intelligence Programming</a>: the PAIP site, where more inspiration for the unifier can be found.</li>
2005-05-20 mantoniotti
45
</ul>
16:33:24 '
46
</p>
2004-11-17 mantoniotti
47
22:19:54 '
48
'
49
<!--
'
50
;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved.
'
51
;;;
'
52
;;; Permission to use, modify, and redistribute this code is hereby
'
53
;;; granted.
'
54
;;; The code is provided AS IS with NO warranty whatsoever. The author
'
55
;;; will not be held liable etc etc etc etc etc.
'
56
-->
'
57
'
58
'
59
<hr>
'
60
<p>Questions? Queries? Suggestions? Comments? Please direct them
'
61
at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>.
'
62
</p>
'
63
'
64
</div>
'
65
</div>
'
66
'
67
</td>
'
68
'
69
<!-- <td height="100%"> </td> -->
'
70
</tr>
'
71
'
72
<tr height="100%">
'
73
<td height="100%"> </td>
'
74
<td valign="top" width="80%" height="100%">
'
75
'
76
<div class="content">
'
77
<div class="text" style="padding-top: 10px;">
'
78
2011-04-02 mantoniotti
79
<!-- <h1>News</h1>
2004-11-17 mantoniotti
80
22:19:54 '
81
<p>News in chronological order, most recent on top.
'
82
</p>
'
83
'
84
<ul>
2005-05-20 mantoniotti
85
<li><strong>2005-05-20</strong><br>
16:33:24 '
86
Updated (but not completed) the page.
'
87
</li>
'
88
2005-04-21 mantoniotti
89
<li><strong>2005-04-20</strong><br>
15:33:20 '
90
Fixed (but not completed) the page.
'
91
</li>
'
92
2004-11-17 mantoniotti
93
<li><strong>2004-04-12</strong><br>
22:19:54 '
94
Started the site.
'
95
</li>
'
96
</ul>
2011-04-02 mantoniotti
97
-->
04:16:51 '
98
2004-11-17 mantoniotti
99
</div>
22:19:54 '
100
</div>
'
101
'
102
</td>
'
103
'
104
<td height="100%"> </td>
'
105
</tr>
'
106
'
107
'
108
'
109
'
110
<tr>
'
111
<td colspan="3" valign="bottom" align="right">
'
112
<div class="copyright">
2011-04-02 mantoniotti
113
© 2003-2011, Marco Antoniotti, all rights reserved.
2004-11-17 mantoniotti
114
</div>
22:19:54 '
115
</td>
'
116
</tr>
'
117
'
118
</table>
'
119
</body>
'
120
</html>