src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version

clarified record syntax: fieldext excludes the "more" pseudo-field (unlike 2f885b7e5ba7), so that errors like (| x = a, more = b |) are reported less confusingly;

#!/usr/bin/env bash
#
# Author: Lukas Bulwahn, TU Muenchen, 2010
#
# Determine SWI-Prolog version

if [ "$ISABELLE_SWIPL" != "" ]; then
  VERSION="$("$ISABELLE_SWIPL" --version)"
  REGEXP='^SWI-Prolog version ([0-9\.]*) for .*$'
  if [[ "$VERSION" =~ $REGEXP ]]; then
    echo -n "${BASH_REMATCH[1]}"
  else
    echo -n undefined
  fi
fi