Using UTF-8 in SML/NJ \ Twelf?

[email protected] (Michaël Cadilhac) Mon, 20 Apr 2009 15:44:39 -0400
Newsgroups	gmane.comp.lang.sml.smlnj
Message-ID	<[email protected]>
ICBIaSBnYW5nLAoKICBBcyBhbnkgdGVlbmFnZXIgd2hvIHdpc2hlcyB0byBkaXN0aW5ndWlzaCBo
aW1zZWxmIGZyb20gdGhlIGJlYXJkZWQgb2xkCmd1cnVzLCBJIHdhcyB0cnlpbmcgdG8gVVRGLThb
MV0gbXkgVHdlbGYgc291cmNlcyByZWNlbnRseS4gIEhvdyBuaWNlCndvdWxkIGl0IGJlIHRvIGhh
dmUgbXkgbGFtYmRhcyDOuyBvciDOmz8gIFJlYWxseSBuaWNlOyB0aGUgcmlnaHQgd29yZAptaWdo
dCBldmVuIGJlICpzZXh5Ki4gIFRydWUuCgogIFNvLCBpcyB0aGVyZSBhbnkgc3VwcG9ydCBmb3Ig
VVRGLTggbXkgdGVlbmFnZW5lc3MgY291bGRuJ3QgZmluZD8KCiAgVGhhbmtzIGluIGFkdmFuY2Uh
CgpGb290bm90ZXM6IApbMV0gIFVURi04IGlzIHVzZWQgaGVyZSBhcyBhIHZlcmIuICBUZWVuYWdl
ciB0aGluZyBhZ2Fpbi4KCi0tIApNaWNoYcOrbCBgTWljaGEnIENhZGlsaGFjIChMSVRRLCBVLiBk
ZSBNb250csOpYWwpIC0tIGh0dHA6Ly9taWNoYWVsLmNhZGlsaGFjLm5hbWUKCXx8IEl0J3Mgbm90
IHRoYXQgaXQncyB0aW1lIGZvciBhIGJlZXIsCgl8fCAgICAgIGp1c3QgdGhhdCBpdCBpc24ndCB0
aW1lCgl8fCAgICAgICAgIGZvciBubyBiZWVyLgoKCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQpTdGF5
IG9uIHRvcCBvZiBldmVyeXRoaW5nIG5ldyBhbmQgZGlmZmVyZW50LCBib3RoIGluc2lkZSBhbmQg
CmFyb3VuZCBKYXZhIChUTSkgdGVjaG5vbG9neSAtIHJlZ2lzdGVyIGJ5IEFwcmlsIDIyLCBhbmQg
c2F2ZQokMjAwIG9uIHRoZSBKYXZhT25lIChTTSkgY29uZmVyZW5jZSwgSnVuZSAyLTUsIDIwMDks
IFNhbiBGcmFuY2lzY28uCjMwMCBwbHVzIHRlY2huaWNhbCBhbmQgaGFuZHMtb24gc2Vzc2lvbnMu
IFJlZ2lzdGVyIHRvZGF5LiAKVXNlIHByaW9yaXR5IGNvZGUgSjlKTVQzMi4gaHR0cDovL3Auc2Yu
bmV0L3NmdS9wCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
ClNtbG5qLWxpc3QgbWFpbGluZyBsaXN0ClNtbG5qLWxpc3RAbGlzdHMuc291cmNlZm9yZ2UubmV0
Cmh0dHBzOi8vbGlzdHMuc291cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL3NtbG5qLWxpc3QK