///////////////////////////////////////////////////////////////////////////////
//
// TTVSI (a.k.a. MikeFest)
//
// Copyright (c) 2007 Joe Hurd
//
///////////////////////////////////////////////////////////////////////////////

///////////////////////////////////////////////////////////////////////////////
// Status bar
///////////////////////////////////////////////////////////////////////////////

defaultStatus = "Tools and Techniques for Verification of System Infrastructure";