log src/main/gov/nasa/jpf/util/event/SystemEvent.java @ 21:caa0924e093d

age author description
Fri, 10 Apr 2015 20:53:11 -0700 Peter Mehlitz reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent and