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