 Dave Curylo
|
ef40add1ed
Update swipl to 7.7.22
|
7 years ago |
|
Dave Curylo
|
c3247f1f97
Update swipl to 7.7.21
|
7 years ago |
|
Dave Curylo
|
577aec4044
Update swipl to 7.7.20
|
7 years ago |
|
Dave Curylo
|
f69b730d96
Update swipl to 7.7.19
|
7 years ago |
|
Dave Curylo
|
97adacc047
Update SWI-Prolog to 7.7.18
|
7 years ago |
|
Dave Curylo
|
1ef7cc877e
Adding arm64v8 architecture for swipl
|
7 years ago |
|
Dave Curylo
|
5a27f4a646
Update swipl to 7.7.17, all plugins to latest
|
7 years ago |
|
Dave Curylo
|
7f16e689d7
Update swipl to 7.7.16
|
7 years ago |
|
Dave Curylo
|
e2951a121f
Update swipl to 7.7.14
|
7 years ago |
|
Dave Curylo
|
7df283de65
Update swipl to 7.7.13
|
7 years ago |
|
Dave Curylo
|
f913c177b6
Update swipl to 7.7.12
|
7 years ago |
|
Dave Curylo
|
b49f4da9e7
Update swipl to 7.7.11
|
7 years ago |
|
Dave Curylo
|
e9d56c8550
Update swipl devel to SWI-Prolog 7.7.10
|
7 years ago |
|
Dave Curylo
|
c19a0a9ebd
Update swipl to 7.7.9
|
7 years ago |
|
Dave Curylo
|
7a63ce8913
Update SWI-Prolog to 7.7.8 and stable to 7.6.4.
|
8 years ago |
|
Dave Curylo
|
fd7b725781
Fix broken arm build for swipl
|
8 years ago |
|
Dave Curylo
|
d21f1cab36
Adding arm32v7 support for swipl (#3853)
|
8 years ago |
|
Dave Curylo
|
cc83bbd5e5
Update swipl image to 7.7.7
|
8 years ago |
|
Dave Curylo
|
ea838aa4fd
Update swipl to 7.7.5.
|
8 years ago |
|
Dave Curylo
|
226fb02b7e
Update swipl 7.6.3 stable source download location
|
8 years ago |
|
Dave Curylo
|
1a39fc1f96
Bump swipl to 7.7.4 and stable to 7.6.3.
|
8 years ago |
|
Dave Curylo
|
2b4436fbf2
Update `swipl` to 7.7.2
|
8 years ago |
|
Dave Curylo
|
34a4a7f677
Function for adding swipl addins during build
|
8 years ago |
|
Dave Curylo
|
50ba0a89cc
Bump swipl to 7.7.1, include typical addins
|
8 years ago |
|
Dave Curylo
|
266208c840
Adding 7.6.0 stable release for swipl
|
8 years ago |
|
Dave Curylo
|
18873b805e
Add 7.7.0 swipl
|
8 years ago |
|
Dave Curylo
|
cacb152d4c
Bump swipl to 7.5.15, set default lang to UTF-8.
|
8 years ago |
|
Dave Curylo
|
bea52fd9cb
Bump swipl to 7.5.14.
|
8 years ago |
|
Dave Curylo
|
4250ce4b03
Bump swipl to 7.5.13
|
8 years ago |
|
Dave Curylo
|
20c30c5bc2
Bump swipl to 7.5.12, remove 7.5.11.
|
8 years ago |
