Changing the file headers

[ivan.zapreev]

In the MRMC sources and related scripts we have headers present that give information about the developers, licensing and contact information. I suggest the following fixes, related to the fact that the Tool's development was moved from Twente to Aachen:

Change lines like:

* Copyright (C) The University of Twente, 2004-2006.

Into:

* Copyright (C) The University of Twente, 2004-2006.
* Copyright (C) RWTH Aachen, 2008-2009.

Here we added the Aachen's copy right.

The contact information:

* Our contacts:
* Formal Methods and Tools Group, University of Twente,
* P.O. Box 217, 7500 AE Enschede, The Netherlands,
* Phone: +31 53 4893767, Fax: +31 53 4893247,
* E-mail: mrmc@…

has to be:

1. Updates with the proper contact e-mail, which is not mrmc@… any longer, but should be some e-mail address like: mrmc@…, or may be a mailing list mrmc-users? (Viet Yen what's your opinion there?)

2. An extra contact information (in the same format) has to be added for Aachen. I am not sure if removing the contact info of twente would be right, since most sources were developed there.

[nguyen]

Small fix:
* Copyright (C) The University of Twente, 2004-2007.
* Copyright (C) RWTH Aachen, 2008-2009.

I'd say put both contacts in the following order:

Main contact:
* Lehrstuhl für Informatik 2, RWTH Aachen University
* Ahornstrasse 55, 52074 Aachen, Germany
* info@…

Old contact:
* Formal Methods and Tools Group, University of Twente,
* P.O. Box 217, 7500 AE Enschede, The Netherlands,
* Phone: +31 53 4893767, Fax: +31 53 4893247

Looks good?

[ivan.zapreev]

Small fix:
* Copyright (C) The University of Twente, 2004-2008.
* Copyright (C) RWTH Aachen, 2008-2009.

Since the project in Twente ended this year ;)

* Main contact:
* Lehrstuhl für Informatik 2, RWTH Aachen University
* Ahornstrasse 55, 52074 Aachen, Germany
* info@…

* Old contact:
* Formal Methods and Tools Group, University of Twente,
* P.O. Box 217, 7500 AE Enschede, The Netherlands,
* Phone: +31 53 4893767, Fax: +31 53 4893247

Looks perfect :) Do we have the info@…? Is it forwarded to someone or how is it?

[nguyen]

Well, that looks better. I mailed Arnd to make an info@ address. I plan to have it forwarded to mrmc-staff.

[davidjansen]

I also propose to change the formatting so the header fits in 80 columns.