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] back to more basic defaults, independently on the accidental L&F: e.g. relevant for editor_style=false, and session_graph.pdf;
    • title
      proper default colors (amending e840461d5370): e.g. relevant for session_graph.pdf;
    • title
      eliminate odd Unicode characters (amending e9f3b94eb6a0, b69e4da2604b, 8f0b2daa7eaa, 8d1e295aab70);
    • title
      clarified natural decl_ord vs. slightly odd merge_decl_ord, following the historic status-quo of 53e56e6a67c3, which originally stems from c06d01f75764;

  • 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/a8e47bd31965
    • link
      https://isabelle.in.tum.de/repos/isabelle/rev/d6a14ed060fb
    • link
      https://isabelle.in.tum.de/repos/isabelle/rev/45107da819fc