doc-src/Abstract/abstract.html
changeset 15583 256c5e6b314f
parent 15226 df9b45e9a39f
equal deleted inserted replaced
15582:7219facb3fd0 15583:256c5e6b314f
     1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
     1 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
       
     2 
       
     3 <!-- $Id$ -->
     2 
     4 
     3 <html>
     5 <html>
     4 
     6 
     5 	<head>
     7 	<head>
     6 		<meta http-equiv="content-type" content="text/html;charset=ISO-8859-1">
     8 		<meta http-equiv="content-type" content="text/html;charset=ISO-8859-1">