[isabelle-dev] AFP sitegen

Christian Sternagel c.sternagel at gmail.com
Thu Jun 6 05:40:02 CEST 2013

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.)



More information about the isabelle-dev mailing list