diff options
Diffstat (limited to 'PACE/docs/legend.html')
| -rw-r--r-- | PACE/docs/legend.html | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/PACE/docs/legend.html b/PACE/docs/legend.html deleted file mode 100644 index d2d09c5a957..00000000000 --- a/PACE/docs/legend.html +++ /dev/null @@ -1,44 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> -<html> - <head> - <!-- $Id$ --> - <title>PACE Legend</title> - <base target="right"> - </head> - - <body bgcolor="#EEEEEE"> - <h1>PACE</h1> - - <font face="Arial, Helvetica, Verdana" size="2"> - <ul> - <li>splash</li> - <li><a href="overview.html">overview</a></li> - <li>reference</li> - <li>source</li> - <li>install</li> - <li>download</li> - </ul> - - <ul> - <li><a href="http://www.cs.wustl.edu/~doc" target="_parent"> - doc group</a></li> - <li><a href="http://www.cs.wustl.edu/~schmidt/ACE.html" target="_parent"> - ace</a></li> - <li><a href="http://www.cs.wustl.edu/~schmidt/TAO.html" target="_parent"> - tao</a></li> - </ul> - - <ul> - <li><p><a href="todo.html">todo</a></p></li> - </ul> - - <hr> - <address><a href="mailto:luther@cs.wustl.edu">Luther J Baker</a></address> - </font> - -<!-- Created: Thu Dec 21 18:09:56 CST 2000 --> -<!-- hhmts start --> -Last modified: Thu Dec 21 19:17:54 CST 2000 -<!-- hhmts end --> - </body> -</html> |