[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Pretty-pint and preserve comments

Is it possible to use the PVS pretty printer and preserve comments within
the file (any comments before the theory name do stay) ?

If not, can anyone suggest a workable way of achieving the same sort
of thing?

Hanne Gottliebsen		    Office P337
Dept. of Computer Science	    Ph: +44 1334 46 3265
University of St Andrews	    hago@dcs.st-and.ac.uk
  - I want a single-skin cotton tent like Mr Weasley's