Skip to content

Tags: SWI-Prolog/swish

Tags

V2.0.0

Toggle V2.0.0's commit message

Verified

This tag was signed with the committer’s verified signature.
JanWielemaker Jan Wielemaker
GPG key ID: 4EF5383C7C11B85B
Learn about vigilant mode 
Release tag

V1.7.0

Toggle V1.7.0's commit message 
Release tag for docker container.

V1.6.0

Toggle V1.6.0's commit message 
Versioon 1.6.0 release. Adds adaptive term layout, updates s(CASP) an…

…d various

small enhancements.

V1.5.1

Toggle V1.5.1's commit message 
Release tag

V1.5.0

Toggle V1.5.0's commit message 
By default, install sCASP

V1.4.0

Toggle V1.4.0's commit message 
Release tag for 1.4.0

V1.3.1

Toggle V1.3.1's commit message 
Release tag for 1.3.1

V1.3.0

Toggle V1.3.0's commit message 
Release tag for 1.3.0

V1.2.0

Toggle V1.2.0's commit message 
Release tag for 1.2.0

V1.1.0

Toggle V1.1.0's commit message 
Release tag for 1.1.0