Node:3.11.1 Other Changes, Previous:3.11.1 Bugs Fixed, Up:3.11.1 Changes
library(gauge): The default has been changed to show non-zero
counts only. 
library(gauge): New Specification:  Calls+Backtracking. This
is especially meaningful when Resolution is Clause.