URL Error
UPPAAL could not launch your web browser to open the targeted URL.
The default command does not seem to work. Under
- Windows 95, it is "start http://www.uppaal.com"
- Windows 2000, Me, 98, it is "explorer http://www.uppaal.com"
- Windows NT, it is "iexplore http://www.uppaal.com"
- Linux, Solaris, it is "netscape http://www.uppaal.com"
Please find your favorite web browser and
insert in the uppaal start file: -webBrowser your_web_browser.
Also lease check that:
- you have a network connection
- your web browser works properly