EasyProof - Roadmap

Version 0.3

• introduction with examples
• display available transformations in menubar
• linking of proof transformations instead of copying
• dialog for additional parameters that allows loading term parts
• sidebar component containing information
• automatic layout
• selection and display of graph edges
• proof expansion

Version unknown

• GUI unit test
• XML schema validation
• homepage / webstart / documentation in program