isabelle.in.tum.de/repos/isabelle/atom-log

Preview meta tags from the isabelle.in.tum.de website.

  • General Meta Tags

    11
    • title
      isabelle Changelog
    • title
      [default] clarified code setup
    • title
      moved / rearranged lemma
    • title
      eliminate code drop: declarations where none needed
    • title
      internal setting to identify pointless code drop: declarations
  • Link Tags

    12
    • alternate
      https://isabelle.in.tum.de/repos/isabelle/
    • self
      https://isabelle.in.tum.de/repos/isabelle/atom-log
    • link
      https://isabelle.in.tum.de/repos/isabelle/rev/99a720d3ed8f
    • link
      https://isabelle.in.tum.de/repos/isabelle/rev/04e7c2566f7e
    • link
      https://isabelle.in.tum.de/repos/isabelle/rev/bd3685e5f883