changeset 71431 | 508b4f6431ae |
parent 70025 | 16042475c511 |
child 72972 | 31ff3c962937 |
71430:7736b754b37f | 71431:508b4f6431ae |
---|---|
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
2 |
2 |
3 Copyright (c) 1986-2019, |
3 Copyright (c) 1986-2020, |
4 University of Cambridge, |
4 University of Cambridge, |
5 Technische Universitaet Muenchen, |
5 Technische Universitaet Muenchen, |
6 and contributors. |
6 and contributors. |
7 |
7 |
8 All rights reserved. |
8 All rights reserved. |