changeset 66475 | d8e0fd64216f |
parent 62016 | 740c70a21523 |
child 68391 | 9b4f60bdad54 |
66474:3ff851a8cb4b | 66475:d8e0fd64216f |
---|---|
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
2 |
2 |
3 Copyright (c) 1986-2016, |
3 Copyright (c) 1986-2017, |
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. |