created notification form for rendering notification messages from PVS (e.g., typechecking results)