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

Bug 539

Summary: Problem installing UPPAAL
Product: Build system Reporter: shah.ahsanul.haque
Component: allAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: blocker    
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: Other   
Architecture:

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