 Jan Wielemaker
|
20a4bede32
Updated swipl stable to 8.2.3
|
5 years ago |
 Dave Curylo
|
f96f0f556e
Adding Jan Wielemaker to swipl maintainers
|
5 years ago |
|
Dave Curylo
|
5f7424661a
Update swipl latest to 8.3.13 and stable to 8.2.2
|
5 years ago |
|
Dave Curylo
|
dd3069aaac
Update swipl to 8.2.2
|
5 years ago |
|
Dave Curylo
|
210c326d9d
Converging swipl tags for latest & stable 8.2.0
|
5 years ago |
|
Dave Curylo
|
d52bd0e204
Update swipl devel and stable images to 8.2.0
|
5 years ago |
|
Dave Curylo
|
a044eab1f9
Update swipl to 8.1.30 using space 0.2
|
5 years ago |
|
Dave Curylo
|
f2ea4e1aaa
Update swipl to 8.1.30
|
5 years ago |
|
Dave Curylo
|
7008cebaf8
Update swipl to 8.1.15 with new addin path
|
5 years ago |
|
Dave Curylo
|
6089a18340
Fixes SHA for swipl dockerfile
|
6 years ago |
|
Dave Curylo
|
2bf3f81e3b
Update swipl to 8.1.15
|
6 years ago |
|
Dave Curylo
|
458e2fcd18
Update swipl to 8.1.12
|
6 years ago |
|
Dave Curylo
|
ff1f6ba9ab
Update swipl stable to 8.0.3 and latest to 8.1.8.
|
6 years ago |
|
Dave Curylo
|
356cc76782
Update swipl to 8.1.6
|
6 years ago |
|
Dave Curylo
|
3f6cdf2a99
Update swipl to 8.1.5
|
6 years ago |
|
Dave Curylo
|
06ba480d38
Update swipl to 8.1.4
|
6 years ago |
|
Dave Curylo
|
904e176c75
Update swipl to 8.1.2
|
6 years ago |
|
Dave Curylo
|
2e81cca06f
Update swipl latest to 8.1.1
|
6 years ago |
|
Dave Curylo
|
7282228cc9
Add swipl latest to 8.1.0, stable to 8.0.0
|
6 years ago |
|
Dave Curylo
|
590377ff72
Update swipl to 7.7.25
|
7 years ago |
|
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 |
