[isabelle-dev] AFP sitegen

Christian Sternagel c.sternagel at gmail.com
Thu Jun 6 05:48:22 CEST 2013

Btw: the links do not seem to work anyway. But why not replace them with 
working links instead of just dropping them?

On 06/06/2013 12:40 PM, Christian Sternagel wrote:
> Dear all,
> to update the change history of one of my AFP entries, I ran
> admin/sitegen. I noticed that as a result some other sites changed too.
> All the changes where along the lines of
> -(revision <a
> href="http://afp.hg.sourceforge.net/hgweb/afp/afp/rev/f74a8be156a7">f74a8be156a7</a>)<br>
> +(revision f74a8be156a7)<br>
> in corresponding *.shtml files, i.e., links to changesets are replaced
> by the mere short-form changeset ID. Is this on purpose or did I do
> something wrong? (I will of course refrain from pushing any changes
> until I got an answer.)
> cheers
> chris

More information about the isabelle-dev mailing list