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

Bug 316

Summary: In the about box: Change 2005 to 2006
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: DocumentationAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: minor    
Priority: P2    
Version: unspecified   
Hardware: All   
OS: All   
Architecture:

Description Ulrik Nyman 2006-04-26 21:25:03 CEST 
In the "About UPPAAL" box the copyright is stated as 1995-2005. This should be changed to 1995-2006
Comment 1 Gerd Behrmann 2006-04-26 21:46:09 CEST 
Fixed on the trunk from rev. 1757.