Create gh-pages branch via GitHub
Merge branch 'gh-pages' of https://github.com/de-tu-berlin-tfs/Henshin-Editor.git into gh-pages
removed old files - not relevant for gh-pages
previous version of gh-pages by Juergen Gall
Create gh-pages branch via GitHub
Create gh-pages branch via GitHub
Create gh-pages branch via GitHub
first screen shot
Source Model
Source Model
Remove Button
Remove Button
Remove Button
Remove Button 2
Remove Button2
Align Buttons
Align Buttons
Change alignment
Marking Nodes
Marking Nodes