Project

General

Profile

« Previous | Next » 

Revision 397d5ae3

ID397d5ae30e1d5d3872a37d367b183cf4a1deb337
Parent c9043042
Child 145379a9

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

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences