Commits · master · curry / pakcs

07 Feb, 2023 1 commit
- Renamed CYMAKE to FRONTEND in Makefile · a4d2b270
  Michael Hanus authored Feb 07, 2023
  
  a4d2b270
06 Feb, 2023 3 commits
- Update front end's Makefile · eb73c842
  Michael Hanus authored Feb 06, 2023
  
  eb73c842
- Update release notes · 5f3fbc7c
  Michael Hanus authored Feb 06, 2023
  
  5f3fbc7c
- Update frontend: --extended is default option · 90db1a0e
  Michael Hanus authored Feb 06, 2023
  
  90db1a0e
30 Jan, 2023 1 commit
- Merge branch 'update-gitignore' into 'master' · ca3278f7
  Michael Hanus authored Jan 30, 2023
```
Add .vscode and .DS_Store to gitignore

See merge request !33
```
  ca3278f7
07 Jan, 2023 1 commit
- Update dockerized version · 222c3c52
  Michael Hanus authored Jan 07, 2023
  
  222c3c52
06 Jan, 2023 3 commits
- Update makesavedstate script to SWI version 9.* · 77614078
  Michael Hanus authored Jan 06, 2023
  
  77614078
- Update CPM · 5911d974
  Michael Hanus authored Jan 06, 2023
  
  5911d974
- Update CPM · 43b15a1e
  Michael Hanus authored Jan 06, 2023
  
  43b15a1e
20 Dec, 2022 1 commit
- Add .vscode and .DS_Store to gitignore · b7b882d8
  Fredrik Wieczerkowski authored Dec 20, 2022
  
  b7b882d8
16 Dec, 2022 2 commits
- Update release notes · 7db12d54
  Michael Hanus authored Dec 16, 2022
  
  7db12d54
- Merge branch 'update-frontend' into 'master' · ac089373
  Michael Hanus authored Dec 16, 2022
```
Update frontend to most recent master (using GHC 9.2)

See merge request !32
```
  ac089373
15 Dec, 2022 1 commit
- Use GHC 9.2.5 image in CI · 4d005560
  Fredrik Wieczerkowski authored Dec 15, 2022
  
  4d005560
06 Dec, 2022 1 commit
- Update frontend · 740ba024
  Fredrik Wieczerkowski authored Dec 06, 2022
  
  740ba024
19 Oct, 2022 4 commits
- Merge branch 'home-windows' into 'master' · 016d1b44
  Michael Hanus authored Oct 19, 2022
```
Read home directory from USERPROFILE on Windows

See merge request !31
```
  016d1b44
- Merge branch 'generate-sicstus-basics-from-makefile' into 'master' · 45823133
  Michael Hanus authored Oct 19, 2022
```
Move generatePrologBasics into Makefile

See merge request !29
```
  45823133
- Merge branch 'quote-variables' into 'master' · 7be96d11
  Michael Hanus authored Oct 19, 2022
```
Quote variables where possible in scripts

See merge request !28
```
  7be96d11
- Merge branch 'replace-which' into 'master' · a8e740e7
  Michael Hanus authored Oct 19, 2022
```
Replace 'which' calls with 'command -v'

See merge request !27
```
  a8e740e7
18 Oct, 2022 1 commit
- Read home directory from USERPROFILE on Windows · dddf94e5
  Fredrik Wieczerkowski authored Oct 18, 2022
  
  dddf94e5
17 Oct, 2022 2 commits
- Move generatePrologBasics into Makefile · ebf4d269
  Fredrik Wieczerkowski authored Oct 17, 2022
  
  ebf4d269
- Quote variables where possible in scripts · 797d0ee3
  Fredrik Wieczerkowski authored Oct 17, 2022
  
  797d0ee3
16 Oct, 2022 1 commit
- Replace 'which' calls with 'command -v' · 8b369e84
  Fredrik Wieczerkowski authored Oct 16, 2022
  
  8b369e84
14 Oct, 2022 1 commit
- Add test of list comprehensions · 66e3691e
  Michael Hanus authored Oct 14, 2022
  
  66e3691e
13 Oct, 2022 1 commit
- Fix bug for non-existing load directory · 65bc0197
  Michael Hanus authored Oct 13, 2022
  
  65bc0197
10 Oct, 2022 1 commit
- Fix clean error on already cleaned system · 72c0d79d
  Michael Hanus authored Oct 10, 2022
  
  72c0d79d
08 Oct, 2022 1 commit
- Turned into current release · 5b5c51e3
  Michael Hanus authored Oct 08, 2022
  
  5b5c51e3
07 Oct, 2022 1 commit
- Add property `tmpdir` to pakcsrc in order to redefine temporary directory · 0332d39d
  Michael Hanus authored Oct 07, 2022
  
  0332d39d
14 Sep, 2022 1 commit
- CPM updated · ca9fe540
  Michael Hanus authored Sep 14, 2022
  
  ca9fe540
31 Aug, 2022 1 commit
- Update Dockerfile · 88a6f707
  Michael Hanus authored Aug 31, 2022
  
  88a6f707
19 Jul, 2022 1 commit
- Update front end and base libraries · 5c478121
  Michael Hanus authored Jul 19, 2022
  
  5c478121
23 Feb, 2022 1 commit
- Small update on instructions · edfe50d8
  Michael Hanus authored Feb 23, 2022
  
  edfe50d8
10 Feb, 2022 2 commits
- Update some basics for SICStus Prolog · 492f2213
  Michael Hanus authored Feb 10, 2022
  
  492f2213
- Update README · 739482b1
  Michael Hanus authored Feb 10, 2022
  
  739482b1
03 Feb, 2022 1 commit
- Restructure pakcs script · 6d34bafd
  Michael Hanus authored Feb 03, 2022
  
  6d34bafd
07 Jan, 2022 1 commit
- CPM updated · a5252d92
  Michael Hanus authored Jan 07, 2022
  
  a5252d92
05 Jan, 2022 4 commits
- Add release notes · 9a3a818f
  Michael Hanus authored Jan 05, 2022
  
  9a3a818f
- Update release notes · cc2463cb
  Michael Hanus authored Jan 05, 2022
  
  cc2463cb
- Adapt version number · af609498
  Michael Hanus authored Jan 05, 2022
  
  af609498
- Small fix for debug mode when tracing is off · ed3c29f1
  Michael Hanus authored Jan 05, 2022
  
  ed3c29f1
20 Dec, 2021 1 commit
- Update frontend · ec507c43
  Michael Hanus authored Dec 20, 2021
  
  ec507c43