Project

General

Profile

« Previous | Next » 

Revision 397d5ae3

Added by Pierre-Loïc Garoche almost 5 years ago

Copied Printers.pp_expr functions to Horn backend to escape < and > in XML traces output

  • added
  • modified
  • copied
  • renamed
  • deleted