User contributions
- 05:54, 19 November 2020 (diff | hist) . . (+337) . . Henshin/Performance Profiler
- 05:48, 19 November 2020 (diff | hist) . . (+41) . . N File:Henshin-Profiler-Backtracking.png (Backtracking Plot of the Henshin profiler) (current)
- 05:48, 19 November 2020 (diff | hist) . . (+34) . . N File:Henshin-Profiler-CallGraph.png (Call Graph of the Henshin Profiler) (current)
- 05:48, 19 November 2020 (diff | hist) . . (+39) . . N File:Henshin-Profiler-CandidatesGraph.png (Candidate Graph of the Henshin Profiler) (current)
- 05:47, 19 November 2020 (diff | hist) . . (+40) . . N File:Henshin-Profiler-InvokeWizard.png (Wizard for invoking the Henshin Profiler) (current)
- 05:47, 19 November 2020 (diff | hist) . . (+37) . . N File:Henshin-Profiler-ModelElements.png (Henshin Profiler Model Elements Graph) (current)
- 05:46, 19 November 2020 (diff | hist) . . (+42) . . N File:Henshin-Profiler-Rule.png (Example Henshin rule for the profiler page) (current)
- 05:44, 19 November 2020 (diff | hist) . . (+6,985) . . N Henshin/Performance Profiler (initial page for the profiler)
- 05:42, 19 November 2020 (diff | hist) . . (+82) . . m Henshin (add link to profiler page)
- 10:46, 31 October 2019 (diff | hist) . . (+11,479) . . N Henshin/Textual Editor (Documentation of the textual syntax of Henshin)
- 10:37, 31 October 2019 (diff | hist) . . (+46) . . m Henshin
- 04:24, 24 April 2018 (diff | hist) . . (0) . . m Henshin/Interpreter (fixes for screenshots)
- 04:22, 24 April 2018 (diff | hist) . . (0) . . N File:Henshin-debug-successful-match.png (current)
- 04:22, 24 April 2018 (diff | hist) . . (0) . . File:Henshin debug config.png (Eclipse.tichy.de uploaded a new version of File:Henshin debug config.png) (current)
- 04:20, 24 April 2018 (diff | hist) . . (0) . . N File:Henshin-debug-example.png (current)
- 04:20, 24 April 2018 (diff | hist) . . (0) . . N File:Henshin debug stack and variables.png (current)
- 05:16, 20 April 2018 (diff | hist) . . (+6,545) . . Henshin/Interpreter (add debugging support description)
- 05:12, 20 April 2018 (diff | hist) . . (0) . . N File:Henshin debug config.png
