Commits · 6d25b0ae78f8735eab2ef6269055932fc46dbcfc · sarah.grebing / ProofScriptParser

29 Aug, 2017 1 commit
- add DockFX · 6d25b0ae
  Alexander Weigl authored Aug 29, 2017
  
  6d25b0ae
28 Aug, 2017 1 commit
- Die Axt im Walde ... · 145e4979
  Alexander Weigl authored Aug 28, 2017
  
  145e4979
08 Jul, 2017 1 commit
- docking framework seems good · ca4ce23b
  Alexander Weigl authored Jul 08, 2017
  
  ca4ce23b
07 Jul, 2017 3 commits
- set to correct module · f581dea7
  Alexander Weigl authored Jul 08, 2017
  
  f581dea7
- remove submodules · 701d92ce
  Alexander Weigl authored Jul 08, 2017
  
  701d92ce
- embedd a docking framework · d8b9ba9b
  Alexander Weigl authored Jul 07, 2017
```
* works, but needed some adaptions or fixes
```
  d8b9ba9b