[755-1] Mentor licence

[Konstantinos Dovrolis <dovrolis@cs.wisc.edu>]

As several of you noticed, starting from this
afternoon the licence for the Mentor tools
expired.

I notified the administration people that are responsible
for the tools about this, and I think that the problem
will be solved tomorrow morning. 

I will also ask from Prof.Wood to grant an
extension for the assignment, in order to anticipate
for the loss of time.

Constantinos