diff src/kernel.tp @ 269:632667d95d35

Improve message not implemented error message
author Michael Pavone <pavone@retrodev.com>
date Fri, 18 Jul 2014 19:31:07 -0700
parents 96e21f525b78
children
line wrap: on
line diff