[isabelle-dev] AFP sitegen

Gerwin Klein Gerwin.Klein at nicta.com.au
Thu Jun 6 05:52:37 CEST 2013


I'll have a look at it. The links shouldn't be dropped, something is going wrong there.

Cheers,
Gerwin

On 06/06/2013, at 1:48 PM, Christian Sternagel <c.sternagel at gmail.com> wrote:

> 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
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.



More information about the isabelle-dev mailing list