[isabelle-dev] AFP sitegen
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.
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
>> +(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.)
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
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