Commits · a9ebbf6b369eb493d63720c5794ad93be3f0d14e · Pascal Stücker / pakcs

31 Oct, 2017 1 commit
- Directory curry2prolog renamed to src, defaulting improved · a9ebbf6b
  Michael Hanus authored Oct 31, 2017
  
  a9ebbf6b
25 Oct, 2017 2 commits
- CPM updated · b673255a
  Michael Hanus authored Oct 25, 2017
  
  b673255a
- pakcs script info output reduced · d200c1c6
  Michael Hanus authored Oct 25, 2017
  
  d200c1c6
24 Oct, 2017 7 commits
- Tools updated · fffb0556
  Michael Hanus authored Oct 25, 2017
  
  fffb0556
- Build number increased · 87c40fb7
  Michael Hanus authored Oct 24, 2017
  
  87c40fb7
- Formatting of type contexts improved · b28ec22c
  Michael Hanus authored Oct 24, 2017
  
  b28ec22c
- Tools updated · f979dc41
  Michael Hanus authored Oct 24, 2017
  
  f979dc41
- pakcs script improved · db866b16
  Michael Hanus authored Oct 24, 2017
  
  db866b16
- pakcs script improved · 7a9e6d52
  Michael Hanus authored Oct 24, 2017
  
  7a9e6d52
- pakcs script calls cypm if necessary · 73505573
  Michael Hanus authored Oct 24, 2017
  
  73505573
23 Oct, 2017 2 commits
- debian/pakcs.links: Add symlink to /usr/bin/ for cypm. · 569d1fd3
  Mike Gabriel authored Oct 23, 2017
  
  569d1fd3
- Command "pakcs cypm" added · d1e74283
  Michael Hanus authored Oct 23, 2017
  
  d1e74283
21 Oct, 2017 1 commit
- Tools updated · d9890791
  Michael Hanus authored Oct 21, 2017
  
  d9890791
20 Oct, 2017 14 commits
- Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/pakcs · 383051fc
  Michael Hanus authored Oct 20, 2017
  
  383051fc
- cpm -> cypm · c3a03902
  Michael Hanus authored Oct 20, 2017
  
  c3a03902
- Build number incremented · 005ee7c3
  Michael Hanus authored Oct 20, 2017
  
  005ee7c3
- Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/pakcs · 08fd0297
  Michael Hanus authored Oct 20, 2017
  
  08fd0297
- Update front end · dcec2096
  Finn Teegen authored Oct 20, 2017
  
  dcec2096
- debian/pakcs.install: testsuite2/ subfolder from PAKCS 1.x renamed to testsuite/ now. · 5d3a83e9
  Mike Gabriel authored Oct 20, 2017
  
  5d3a83e9
- debian/changelog: Bump package version to 1.99.0-0. · 46e6bd17
  Mike Gabriel authored Oct 20, 2017
  
  46e6bd17
- debian/control: Bump Standards-Version: to 4.1.1. · 89b72928
  Mike Gabriel authored Oct 20, 2017
  
  89b72928
- debian/control: PAKCS pre-2.x requires curry-frontend as B-D and runtime D (>= 0.99). · 31f59451
  Mike Gabriel authored Oct 20, 2017
  
  31f59451
- debian/control: Set Priority: from extra to optional (to comply with Debian Policy >= 4.1.0). · 64039477
  Mike Gabriel authored Oct 20, 2017
  
  64039477
- Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/pakcs · e94d89f0
  Michael Hanus authored Oct 20, 2017
  
  e94d89f0
- Executable cpm renamed to cypm · 4e7c59c2
  Michael Hanus authored Oct 20, 2017
  
  4e7c59c2
- debian/rules: Don't clean-up /usr/lib/pakcs/currytools/peval/.gitignore at... · 78df4e45
  Mike Gabriel authored Oct 18, 2017
```
debian/rules: Don't clean-up /usr/lib/pakcs/currytools/peval/.gitignore at post-build. Does not exist in PAKCS 1.15.x anymore.
```
  78df4e45
- persistent cleancurry during debbuild: Place symlink in debian/bin, install... · f65283b4
  Mike Gabriel authored Oct 18, 2017
```
persistent cleancurry during debbuild: Place symlink in debian/bin, install bin/cleancurry into bin:pkg, not debian/bin/cleancurry.
```
  f65283b4
19 Oct, 2017 6 commits
- Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry/pakcs · f5eefb30
  Finn Teegen authored Oct 19, 2017
  
  f5eefb30
- Update front end · 5922ac1c
  Finn Teegen authored Oct 19, 2017
  
  5922ac1c
- Tools updated · f4e20793
  Michael Hanus authored Oct 19, 2017
  
  f4e20793
- Update front end · e917c0dd
  Finn Teegen authored Oct 19, 2017
  
  e917c0dd
- Update front end · a0ca769a
  Finn Teegen authored Oct 19, 2017
  
  a0ca769a
- Change submodules for front end · 343d7a88
  Finn Teegen authored Oct 19, 2017
  
  343d7a88
18 Oct, 2017 4 commits
- tools and libs update to master (was typeclasses) branch · 8cb52b1d
  Michael Hanus authored Oct 18, 2017
  
  8cb52b1d
- lib docs updated · 4afc23e2
  Michael Hanus authored Oct 18, 2017
  
  4afc23e2
- libs and tools updated · b985bb1b
  Michael Hanus authored Oct 18, 2017
  
  b985bb1b
- Makefile: dist checks for existence of Manual.pdf before copying · 5dc08443
  Michael Hanus authored Oct 18, 2017
  
  5dc08443
17 Oct, 2017 3 commits
- Frontend updated · 52e0dd2a
  Michael Hanus authored Oct 17, 2017
  
  52e0dd2a
- Merge remote-tracking branch 'origin/typeclasses' · 37106b02
  Michael Hanus authored Oct 17, 2017
  
  37106b02
- CLP libraries removed (now available in package clp-pakcs) · d24cb8c1
  Michael Hanus authored Oct 17, 2017
  
  d24cb8c1