Commit ef768ef2 authored by gerwin.klein@nicta.com.au's avatar gerwin.klein@nicta.com.au
Browse files

point to bitbucket instead of SF

parent 6982c5d2c8f8
......@@ -54,7 +54,7 @@ def write_entries(entries, template, isa_ver, isa_date, afp_ver, afp_date):
'<a href="http://isabelle.in.tum.de/repos/isabelle/changelog/{0}">' \
'{0}</a> - {1}</td></tr>'.format(isa_ver, isa_date)
print ' <tr><td>AFP revision:</td><td>'\
'<a href="http://sourceforge.net/p/afp/code/ci/{0}">' \
'<a href="https://bitbucket.org/isa-afp/afp-devel/src/{0}">' \
'{0}</a> - {1}</td></tr>'.format(afp_ver, afp_date)
print ' </tbody></table>'
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment