[isabelle-dev] HTML output
benjamin.bisping at tu-berlin.de
Mon Mar 18 15:39:24 CET 2019
I ran into the same problem (solved it with a crude Python script
here...) and would also greatly appreciate such a feature and other
improvements to the HTML output!
By the way, seeing your solution, I would suggest to rather attach the
id-attributes to the tags surrounding the defined names, which enables
CSS :target highlighting. (To see what it looks like in our solution:
Am Montag, den 18.03.2019, 12:25 +0000 schrieb Haslbeck, Maximilian:
> In one of our recent papers we provided direct links to the
> corresponding Isabelle definitions, lemmas, etc (for example ).
> The anchors inside Isabelle’s HTML output were added with a very
> crude shell script with multiple invocations of sed.
> So it would be great if the necessary id tags (and other semantic
> information) could be added by Isabelle itself. I’m willing to
> implement this myself but I would need some general pointers in the
> right direction. I’m guessing I can implement this with
> Isabelle/Scala, right?
>  <
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev