#!/usr/local/bin/perl -pi.bak
# @(#)$Id: jml,v 1.26 2000/07/12 20:36:33 leavens Exp $
#
# nonesc -- edit the given files to use the JML-only conventions
#             for annotations
#

s!/[*][+]@!/*@!;
s!//[+]@!//@!;
s!@[+][*]/!@*/!;