Commits · 2947ed343d8b04ca6f06627c3944ea9d7d902e03 · sarah.grebing / ProofScriptParser

09 Jan, 2018 1 commit
- $LULUDBR\Lulu's avatar$
  
  SequentMatcher update + highlighting · c319a298
  LULUDBR\Lulu authored Jan 09, 2018
  
  c319a298
06 Jan, 2018 1 commit
- $LULUDBR\Lulu's avatar$
  
  SequentMatcherUI Matchingsview fit · 6cf2c028
  LULUDBR\Lulu authored Jan 06, 2018
  
  6cf2c028
05 Jan, 2018 1 commit
- $LULUDBR\Lulu's avatar$
  
  No Matchings - Label replacing MatchingsView for when Matchings not found · f1d17156
  LULUDBR\Lulu authored Jan 05, 2018
  
  f1d17156
21 Dec, 2017 1 commit
- $LULUDBR\Lulu's avatar$
  
  update gui · 62978d4f
  LULUDBR\Lulu authored Dec 21, 2017
  
  62978d4f
20 Dec, 2017 1 commit
- $LULUDBR\Lulu's avatar$
  
  goal wrench added · 1d505095
  LULUDBR\Lulu authored Dec 20, 2017
  
  1d505095
18 Dec, 2017 2 commits
- $LULUDBR\Lulu's avatar$
  
  update gui · ac5be24f
  LULUDBR\Lulu authored Dec 18, 2017
  
  ac5be24f
- $LULUDBR\Lulu's avatar$
  
  matcher added · 454a5619
  LULUDBR\Lulu authored Dec 18, 2017
  
  454a5619
14 Dec, 2017 1 commit
- $LULUDBR\Lulu's avatar$
  
  Prototype with no filled view yet · fc301d6c
  LULUDBR\Lulu authored Dec 14, 2017
  
  fc301d6c