Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. shortened long lines
  2. fixed typos
  3. updated Mirabelle documentation
  4. changed Mirabelle's filter to use short theory names
Changeset 73857:a88427e55371 by desharna:
shortened long lines
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 73856:07675be65227 by desharna:
fixed typos
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 73855:c55980cf7374 by desharna:
updated Mirabelle documentation
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 73854:eab5cd9c7862 by desharna:
changed Mirabelle's filter to use short theory names
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)