equal
deleted
inserted
replaced
1 <?xml version="1.0" encoding="iso-8859-1"?> |
1 <?xml version="1.0" encoding="iso-8859-1"?> |
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
3 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
3 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
4 <!-- $Id$ --> |
|
5 |
4 |
6 <html xmlns="http://www.w3.org/1999/xhtml"> |
5 <html xmlns="http://www.w3.org/1999/xhtml"> |
7 <head> |
6 <head> |
8 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> |
7 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> |
9 <title>The {ISABELLE} Library</title> |
8 <title>The {ISABELLE} Library</title> |