changeset 59980 | 070f04c94b2e |
parent 56916 | b00a861d8f16 |
child 62016 | 740c70a21523 |
59979:8a53364a3143 | 59980:070f04c94b2e |
---|---|
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER. |
2 |
2 |
3 Copyright (c) 1986-2014, |
3 Copyright (c) 1986-2015, |
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. |