Admin/website/include/downloadtable.include.html
changeset 16239 5be516f79075
parent 16233 e634d33deb86
child 17661 994d010c0abd
equal deleted inserted replaced
16238:c1102cdf601f 16239:5be516f79075
     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