equal
deleted
inserted
replaced
1 <?xml version='1.0' encoding='iso-8859-1' ?> |
1 <?xml version='1.0' encoding='iso-8859-1' ?> |
2 <!DOCTYPE table PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
2 <!DOCTYPE table PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
3 <?cvs id="$Id$"?> |
3 <!-- $Id$ --> |
4 <table class="download"> |
4 <table class="download"> |
5 <tr><td colspan="3" class="downloadheader">Isabelle</td></tr> |
5 <tr><td colspan="3" class="downloadheader">Isabelle</td></tr> |
6 <tr> |
6 <tr> |
7 <td> |
7 <td> |
8 Sources and documentation |
8 Sources and documentation |