 Jan Wielemaker
|
fc0f2f511e
Updated swipl devel to 8.5.10
|
3 years ago |
|
Jan Wielemaker
|
af2cc37ddb
Updated swipl stable to 8.4.2
|
3 years ago |
|
Jan Wielemaker
|
a407989927
Updated swipl devel to 8.5.5
|
3 years ago |
|
Jan Wielemaker
|
15568d7356
Updated swipl devel to 8.5.3
|
4 years ago |
|
Jan Wielemaker
|
31bb073f85
Updated swipl devel to 8.5.2
|
4 years ago |
|
Jan Wielemaker
|
64279a58cd
Updated swipl stable to 8.4.1
|
4 years ago |
|
Jan Wielemaker
|
05eaeaa4ef
Updated swipl stable to 8.4.0
|
4 years ago |
|
Jan Wielemaker
|
401d866686
Updated swipl devel to 8.3.29
|
4 years ago |
|
Jan Wielemaker
|
5c48701137
Update swipl latest to 8.3.26
|
4 years ago |
|
Jan Wielemaker
|
df7bc73ca6
Update swipl latest to 8.3.18 and stable to 8.2.4
|
4 years ago |
|
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 |
