[ProofPower] Flexible conversion functions

[Stephen Brackin]

Has anyone made versions of conv_ascii and conv_extended that just take a
file name as argument, replace extended characters with their keyword
equivalents or vice versa, and output the translated text to std_out?  If no
one else has, then I think I will.  I frequently want to translate .sml
files from extended to ascii forms, and it's a nuisance to have to embed
them in .doc files to do so.

Steve

Stephen Brackin
Senior Security Analyst
CygnaCom Solutions, Inc.
an Entrust company
Phone: 607-277-8211 Fax:  607-277-8211
http://www.cygnacom.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lemma-one.com/pipermail/proofpower_lemma-one.com/attachments/20040923/0693f6f1/attachment.htm>