Commits · master · Pascal Stücker / pakcs

28 May, 2018 2 commits
- Front end: now compatible with GHC 8.4 · 39ad3616
  Michael Hanus authored May 28, 2018
  
  39ad3616
- Bug fix for printing [] type constructor with SWI-Prolog >= 7 · ba817daf
  Michael Hanus authored May 28, 2018
  
  ba817daf
15 May, 2018 3 commits
- Build number incremented · 52f30c2e
  Michael Hanus authored May 15, 2018
  
  52f30c2e
- CPM updated · 8b9e3255
  Michael Hanus authored May 15, 2018
  
  8b9e3255
- Changing memory limits for compiled Curry programs with SWI-Prolog supported... · 82ddbd13
  Michael Hanus authored May 15, 2018
```
Changing memory limits for compiled Curry programs with SWI-Prolog supported (see Section 19.1 of the manual)
```
  82ddbd13
10 May, 2018 1 commit
- readline history invocation in SWI-Prolog improved · 7f01173c
  Michael Hanus authored May 10, 2018
  
  7f01173c
08 May, 2018 1 commit
- Bug fix for missing readline library in newer SWI-Prolog versions · 1f83bd9c
  Michael Hanus authored May 08, 2018
  
  1f83bd9c
04 Apr, 2018 2 commits
- Tools updated · f67b6411
  Michael Hanus authored Apr 04, 2018
  
  f67b6411
- Command "program" improved to show hierarchical modules · 60bc592b
  Michael Hanus authored Apr 04, 2018
  
  60bc592b
29 Mar, 2018 1 commit
- Bug fix for command "programs" w.r.t. non-existent source dirs · 88edf75a
  Michael Hanus authored Mar 29, 2018
  
  88edf75a
19 Mar, 2018 2 commits
- Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/pakcs · 0bb85fa4
  Michael Hanus authored Mar 19, 2018
  
  0bb85fa4
- Makefile fix for GHC 8.0.1 · 57ee74bd
  Michael Hanus authored Mar 19, 2018
  
  57ee74bd
09 Feb, 2018 2 commits
- debian/control: Bump Standards-Version: to 4.1.3. No changes needed. · 33e789a0
  Mike Gabriel authored Feb 09, 2018
  
  33e789a0
- debian/control: PAKCS 2.0.1 require curry-frontend 1.0.1. · 21ddbdf7
  Mike Gabriel authored Feb 09, 2018
  
  21ddbdf7
31 Jan, 2018 4 commits
- Release notes for version 2.0.1 updated, revision number corrected · bbe3454d
  Michael Hanus authored Jan 31, 2018
  
  bbe3454d
- Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/pakcs · 4b708632
  Michael Hanus authored Jan 31, 2018
  
  4b708632
- Help slightly expanded · 605ac305
  Michael Hanus authored Jan 31, 2018
  
  605ac305
- makecgi script improved · db9575a4
  Michael Hanus authored Jan 31, 2018
  
  db9575a4
30 Jan, 2018 1 commit
- debian/changelog: Use epoch 2 for upstream provided packages. · a5c805dc
  Mike Gabriel authored Jan 30, 2018
  
  a5c805dc
28 Jan, 2018 2 commits
- debian/control: Use epoch 2 in B-D and D for curry-frontend. · 7d73e586
  Mike Gabriel authored Jan 29, 2018
  
  7d73e586
- debian/changelog: bump version to 2.0.1-0 · 9bc497d8
  Mike Gabriel authored Jan 28, 2018
  
  9bc497d8
23 Jan, 2018 1 commit
- libs updated · c2fa2707
  Michael Hanus authored Jan 23, 2018
  
  c2fa2707
22 Jan, 2018 1 commit
- makecgi script: option -cpm is deprecated since it does not work without it in the typeclass branch · 03166601
  Michael Hanus authored Jan 22, 2018
  
  03166601
19 Jan, 2018 1 commit
- When target file exists but not writable, a warning is raised · e7be91e5
  Michael Hanus authored Jan 19, 2018
  
  e7be91e5
18 Jan, 2018 2 commits
- SetFunctions updated · 94a0a389
  Michael Hanus authored Jan 18, 2018
  
  94a0a389
- libs updated · 5142d7c9
  Michael Hanus authored Jan 18, 2018
  
  5142d7c9
17 Jan, 2018 1 commit
- Formatting of error messages improved · a936b2c3
  Michael Hanus authored Jan 17, 2018
  
  a936b2c3
16 Jan, 2018 3 commits
- Small Makefile update for dist generation · 459646b8
  Michael Hanus authored Jan 16, 2018
  
  459646b8
- Small fix in CPM and pakcs script · 3b66f1b9
  Michael Hanus authored Jan 16, 2018
  
  3b66f1b9
- Manual updated · 00261667
  Michael Hanus authored Jan 16, 2018
  
  00261667
15 Jan, 2018 3 commits
- CPM updated · da41bd45
  Michael Hanus authored Jan 15, 2018
  
  da41bd45
- --nocypm added to dist install · a71e73b9
  Michael Hanus authored Jan 15, 2018
  
  a71e73b9
- --nocypm added to Peval make · 2534a745
  Michael Hanus authored Jan 15, 2018
  
  2534a745
14 Jan, 2018 1 commit
- CPM updated · bc21efd8
  Michael Hanus authored Jan 14, 2018
  
  bc21efd8
13 Jan, 2018 1 commit
- CPM updated · db28c4db
  Michael Hanus authored Jan 13, 2018
  
  db28c4db
12 Jan, 2018 2 commits
- Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/pakcs · b5e1c3ea
  Michael Hanus authored Jan 12, 2018
  
  b5e1c3ea
- CPM updated · aafebe7d
  Michael Hanus authored Jan 12, 2018
  
  aafebe7d
11 Jan, 2018 3 commits
- Sicstus 4.4 added · 8a95fa4e
  Michael Hanus authored Jan 11, 2018
  
  8a95fa4e
- libs updated · 21201dc0
  Michael Hanus authored Jan 11, 2018
  
  21201dc0
- libs (Prelude) updates · 4562d8ca
  Michael Hanus authored Jan 11, 2018
  
  4562d8ca