-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathTODO.html
84 lines (71 loc) · 2.56 KB
/
TODO.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
<?xml version="1.0" encoding="US-ASCII"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<!-- $Id: TODO.html,v 206.3 2003/09/29 15:10:24 kiniry Exp $ -->
<!--
OBJ3 2.06,2.08,2.09 Copyright (c) 2000-2003 Joseph Kiniry, Joseph Goguen
OBJ3 2.05 Copyright (c) 2000 Sula Ma, Joseph Kiniry, Joseph Goguen
OBJ3 2.04 Copyright (c) 1988,1991,1993 SRI International
TRIM Copyright (c) 1994,2001 Lutz Hamel
All Rights Reserved
-->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>TODO list for OBJ3</title>
<link rel="stylesheet" type="text/css" href="docs/base.css" />
<link rev="made" href="mailto:[email protected]" />
<meta name="keywords" content="OBJ3" />
<meta name="description" content="" />
</head>
<body>
<h1 align="center">TODO list for OBJ3</h1>
<hr />
<!-- ============================================================ -->
<ul>
<li> Clean up source code (remove unused/redundant code, add more
documentation). </li>
<li> Re-investigate old bug reports for the 2.04 release. </li>
<li> Integrate FOOPS into the release. </li>
<li> Integrate TOOR into the release. </li>
<li> Integrate EqLog into the release. </li>
<li> Integrate 2OBJ into the release. </li>
</ul>
<hr />
<!-- ============================================================ -->
<!-- Toolbar at bottom of all major top-level pages -->
<p align="center">
[ <a href="index.html"> Index </a> ]
[ <a href="README.html"> Readme </a> ]
[ <a href="FAQ.html"> FAQ </a> ]
[ <a href="RELEASE_NOTES.html"> Release Notes </a> ]
[ To-Do List ]
[ <a href="BUGS.html"> Bug List </a> ]
[ <a href="source/README.html"> Source </a> ]
[ <a href="docs/index.html"> Papers </a> ]
[ <a href="docs/obj_bib.html"> Bibliography </a> ]
[ <a href="LICENSE.html"> License </a> ] </p>
<hr />
<!-- ============================================================ -->
<p align="center">
<a href="http://www.anybrowser.org/campaign/">
<img src="docs/graphics/anybrowser.png"
height="31" width="88" border="0"
alt="Best Viewed With Any Browser." />
</a>
<a href="http://validator.w3.org/check/referer">
<img src="docs/graphics/vxhtml10.png"
height="31" width="88" border="0"
alt="XHTML 1.0 Checked!" />
</a>
<a href="http://jigsaw.w3.org/css-validator/check/referer">
<img src="docs/graphics/vcss.png"
height="31" width="88" border="0"
alt="CSS, Level 2 Checked!" />
</a>
</p>
<address>by Joseph R. Kiniry <[email protected]></address>
<!-- hhmts start -->
Last modified: Mon Sep 29 15:37:56 CEST 2003
<!-- hhmts end -->
</body>
</html>