Re: [isabelle-dev] AFP sitegen

2013-06-06 Thread Gerwin Klein
It looks like Andreas dropped these manually for his entries, so nothing really went wrong with the tools, he was just reacting to the sourceforge update leading to broken links. The URL scheme for linking to revision IDs in the new sourceforge setup is

Re: [isabelle-dev] AFP sitegen

2013-06-06 Thread Andreas Lochbihler
Sorry for the confusion, I never ran sitegen.py myself because I thought that to be the priviledge of the editors. As Gerwin has found out, I dropped these links manually in 376347e6131a because they all were broken after the update on sourceforge. I decided not to update them for three

Re: [isabelle-dev] AFP sitegen

2013-06-06 Thread Christian Sternagel
Thanks for the quick answers. In case I'm not supposed to run tool/sitegen myself, just let me know ;) cheers chris On 06/06/2013 03:54 PM, Andreas Lochbihler wrote: Sorry for the confusion, I never ran sitegen.py myself because I thought that to be the priviledge of the editors. As Gerwin

Re: [isabelle-dev] Announcing Isabelle work: Access Modifiers for Scala Code Generator

2013-06-06 Thread Fabian Immler
Am 07.05.2013 um 09:59 schrieb Fabian Immler imm...@in.tum.de: For conceptual advances, there has also been the idea of providing a slot for pragmas for serializers: One use-case is the need to add pragmas for the target language in the generated code, but they could also be used to advise a