Changes between Version 2 and Version 3 of path:pathBrowser
- Timestamp:
- 12/17/2013 02:30:24 PM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
path:pathBrowser
v2 v3 12 12 13 13 == User Interface == 14 15 inv/pre/post -- contracts & anzeige im browser fenster 16 neue pane link to test cases --> click on test case -> new browser, debugger, or pathfinder 17 new buttons coverage (underlined statements), path views (ref) 18 overlay for type information (ref to type harvesting)