Compare commits

base: afp-mirror:main

Branches Tags

afp-mirror:main

afp-mirror:afp-current-Isabelle2021-1

afp-mirror:afp-current-Isabelle2021

afp-mirror:afp-UPF-current-Isabelle2020

afp-mirror:afp-UPF-current-Isabelle2019

afp-mirror:afp-UPF-current-Isabelle2018

afp-mirror:afp-UPF-current-Isabelle2017

afp-mirror:afp-UPF-current-Isabelle2016-1

afp-mirror:afp-UPF-current-Isabelle2016

afp-mirror:afp-UPF-2015-05-27

afp-mirror:afp-UPF-2015-01-28

afp-mirror:afp-UPF-2014-11-30

...

compare: afp-mirror:afp-UPF-current-Isabelle2016

Branches Tags

afp-mirror:main

afp-mirror:afp-current-Isabelle2021-1

afp-mirror:afp-current-Isabelle2021

afp-mirror:afp-UPF-current-Isabelle2020

afp-mirror:afp-UPF-current-Isabelle2019

afp-mirror:afp-UPF-current-Isabelle2018

afp-mirror:afp-UPF-current-Isabelle2017

afp-mirror:afp-UPF-current-Isabelle2016-1

afp-mirror:afp-UPF-current-Isabelle2016

afp-mirror:afp-UPF-2015-05-27

afp-mirror:afp-UPF-2015-01-28

afp-mirror:afp-UPF-2014-11-30

No commits in common. "main" and "afp-UPF-current-Isabelle2016" have entirely different histories.

main ... afp-UPF-cu

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Expand all files Collapse all files

Diff Content Not Available