equal
deleted
inserted
replaced
|
1 <?xml version="1.0" encoding="ascii"?> |
|
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
|
3 "DTD/xhtml1-transitional.dtd"> |
|
4 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> |
|
5 <head> |
|
6 <title>history</title> |
|
7 <link rel="stylesheet" href="epydoc.css" type="text/css" /> |
|
8 <script type="text/javascript" src="epydoc.js"></script> |
|
9 </head> |
|
10 |
|
11 <body bgcolor="white" text="black" link="blue" vlink="#204080" |
|
12 alink="#204080"> |
|
13 <h1 class="toc">Module history</h1> |
|
14 <hr /> |
|
15 <h2 class="toc">Classes</h2> |
|
16 <a target="mainFrame" href="build.ec.history.HistoryFileManager-class.html" |
|
17 >HistoryFileManager</a><br /><hr /> |
|
18 <span class="options">[<a href="javascript:void(0);" class="privatelink" |
|
19 onclick="toggle_private();">hide private</a>]</span> |
|
20 |
|
21 <script type="text/javascript"> |
|
22 <!-- |
|
23 // Private objects are initially displayed (because if |
|
24 // javascript is turned off then we want them to be |
|
25 // visible); but by default, we want to hide them. So hide |
|
26 // them unless we have a cookie that says to show them. |
|
27 checkCookie() |
|
28 // --> |
|
29 </script> |
|
30 |
|
31 </body> |
|
32 </html> |