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] merged
    • title
      use prove_internal instead of prove in list to set simproc to avoid incomplete matching sanity check
    • title
      prefer concise "isabelle process_theories", which only uses the required theories;
    • title
      support for "isabelle process_theories -E EXPORTS";

  • 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/b01548bf9e77
    • link
      https://isabelle.in.tum.de/repos/isabelle/rev/5ac432dba045
    • link
      https://isabelle.in.tum.de/repos/isabelle/rev/3f3d83b9ffbc