Commits · cbd5e3b1c91d82709a82a130b48728ee977b153c · sarah.grebing / ProofScriptParser

18 Jan, 2018 1 commit
- fixes and images · 93bd3ef3
  Alexander Weigl authored Jan 18, 2018
  
  93bd3ef3
18 Nov, 2017 1 commit
- multiple enhancements · 29689be8
  Alexander Weigl authored Nov 18, 2017
```
* Open in Key
* repair matching of updates
* assignment hooks
```
  29689be8
11 Sep, 2017 2 commits
- try to fix deps · 6bc9bfa1
  Alexander Weigl authored Sep 11, 2017
  
  6bc9bfa1
- Website, and started to develop a asolution for macros with "-" in name and... · 095d41f0
  Sarah Grebing authored Sep 11, 2017
```
Website, and started to develop a asolution for macros with "-" in name and for handling ambigous calls
```
  095d41f0
10 Sep, 2017 1 commit
- website->mkdocs · 2b127318
  Alexander Weigl authored Sep 10, 2017
  
  2b127318