"boolean" results from eval-in-lisp could be NIL or nil, T or t, so adjust tests in emacs accordingly to be agnostic
"boolean" results from eval-in-lisp could be NIL or nil, T or t,
so adjust tests in emacs accordingly to be agnostic


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@2926 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware