Commits · master · curry-packages / rewriting

03 Jan, 2019 1 commit
- Imports updated · 90b2527b
  Michael Hanus authored Jan 03, 2019
  
  90b2527b
11 Dec, 2018 1 commit
- Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/rewriting · 1dc42e05
  Michael Hanus authored Dec 11, 2018
  
  1dc42e05
01 Nov, 2018 2 commits
- Improves term printing for infix operators · 2d655d48
  Michael Hanus authored Nov 01, 2018
  
  2d655d48
- Improves term printing for infix operators · b3dce693
  Michael Hanus authored Nov 01, 2018
  
  b3dce693
02 Oct, 2017 2 commits
- Author name fixed · e93de75c
  Michael Hanus authored Oct 02, 2017
  
  e93de75c
- Merge branch 'fix-package-author' into 'master' · 859a13a7
  Michael Hanus authored Oct 02, 2017
```
Fixed wrong package author name

See merge request !1
```
  859a13a7
28 Sep, 2017 2 commits
- Dependencies updated · 6d069880
  Michael Hanus authored Sep 28, 2017
  
  6d069880
- Dependencies updated · 88534384
  Michael Hanus authored Sep 28, 2017
  
  88534384
10 Aug, 2017 1 commit
- Fixed wrong package author name · 174867ea
  Jan-Hendrik Matthes authored Aug 10, 2017
  
  174867ea
15 May, 2017 2 commits
- Merge branch 'master' of... · a811e349
  Michael Hanus authored May 15, 2017
```
Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/rewriting into typeclasses
```
  a811e349
- README added · 51b712e8
  Michael Hanus authored May 15, 2017
  
  51b712e8
08 May, 2017 2 commits
- Typeclass version packaged · d16eb800
  Michael Hanus authored May 08, 2017
  
  d16eb800
- Compiler spec added · a298d48a
  Michael Hanus authored May 08, 2017
  
  a298d48a
29 Mar, 2017 2 commits
- Source location added · ec65c5d8
  Michael Hanus authored Mar 29, 2017
  
  ec65c5d8
- Rewriting libraries from PAKCS/KiCS2 lib-trunk packaged · 2e354ddd
  Michael Hanus authored Mar 29, 2017
  
  2e354ddd