equal
deleted
inserted
replaced
34 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016 |
34 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016 |
35 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1 |
35 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1 |
36 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017 |
36 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017 |
37 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018 |
37 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018 |
38 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019 |
38 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019 |
|
39 21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0 |