aboutsummaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-12-04 02:28:51 +0000
committerdos-reis <gdr@axiomatics.org>2007-12-04 02:28:51 +0000
commitc65ac7da8c84d58b8acea7858987522957402b6a (patch)
treee3bd8f72b8d790bd75fa811d9d398fc0546faff2 /NEWS
parent8b424a73bdf2d02563dbf166b9dd47e9d887d364 (diff)
downloadopen-axiom-c65ac7da8c84d58b8acea7858987522957402b6a.tar.gz
Support library function case.
* i-spec1.boot (userDefinedCase): New. (upcase): Use it.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions