Tue, 09 Mar 1999 12:13:11 +0100 | wenzelm | still fake, passes BrowserInfo; | changeset | files |
Tue, 09 Mar 1999 12:12:45 +0100 | wenzelm | HTML markup elements. | changeset | files |
Tue, 09 Mar 1999 12:12:02 +0100 | wenzelm | added html.ML, browser_info.ML; | changeset | files |
Tue, 09 Mar 1999 12:11:29 +0100 | wenzelm | token translation: real; | changeset | files |
Tue, 09 Mar 1999 12:11:00 +0100 | wenzelm | added strlen_real, setmp_margin; | changeset | files |
Tue, 09 Mar 1999 12:10:13 +0100 | wenzelm | tuned using nth_elem_string, exists_string; | changeset | files |