blob: 4c53259b7cb5d55adec6b7a7d49758c894f016f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
Proof General is Copyright (C) 1998,1999 LFCS.
You are allowed to freely copy and modify this software
for non-commercial use, providing you observe these
conditions:
1. Title to and copyright of the Proof General system remains with the
Laboratory for Foundations of Computer Science at the University of
Edinburgh.
2. Proof General may be used freely for research and educational
purposes.
3. You accept Proof General "as is". The University of Edinburgh
provides no warranty of any kind in respect of Proof General.
Nevertheless you are encouraged to report to LFCS any problems with or
suggestions for improvement of Proof General.
5. You may freely modify Proof General on condition that any
significant changes are notified to LFCS and made available to LFCS
such that they may be incorporated within future releases of
Proof General under these copying conditions.
6. You will acknowledge LFCS and The University of Edinburgh as the
designers and implementors of Proof General in any relevant document
or publication.
|
