Project Filelist for Mr. Waffles
File Release Notes and Changelog
Release Name: 9.07
Release Notes
Experimental version - supports reverse CTL operators - supports free variables in CTL formulas - supports EG operator over finite paths
Change Log
First release