Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/include/footer.include.html
changeset 16233 e634d33deb86
child 16239 5be516f79075
equal deleted inserted replaced
16232:8a12e11d222b 16233:e634d33deb86 
       
     1 <?xml version='1.0' encoding='iso-8859-1' ?>
 
       
     2 <!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 
       
     3 <?cvs id="$Id$"?>
 
       
     4 <div id="footer">
 
       
     5     <p>Last updated: <?modificationDate?></p>
 
       
     6 </div>
isabelle