This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 539 - Problem installing UPPAAL
Summary: Problem installing UPPAAL
Status: NEW
Alias: None
Product: Build system
Classification: Unclassified
Component: all (show other bugs)
Version: unspecified
Hardware: PC Other
: P5 blocker
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2012-06-19 08:39 CEST by shah.ahsanul.haque
Modified: 2012-06-19 08:39 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description shah.ahsanul.haque 2012-06-19 08:39:54 CEST 
Hi,

I downloaded UPPAAL 4.0.13-aca version. I unzipped the file. When I double click the uppaal.jar file this message comes “internet connection required for activation”. I’m already connected to internet.

No firewall is blocking the program. I use windows 7. Can you Please give me the solution?

 

Regards,

Shah