The command "print colimit dg" now prints the spec at the apex of the resulting colimit's cocone.
The command "print colimit dg" now prints the spec
at the apex of the resulting colimit's cocone.


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

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