comparison src/sat.tac @ 762:aed7d99276b8

core (xml_tools), frontends: added a prefix to XMLUI form names in result data, to avoid name conflicts (e.g.: if a form has name "submit", and this name is also used internally by SàT)
author Goffi <goffi@goffi.org>
date Tue, 24 Dec 2013 15:43:22 +0100
parents 84a6e83157c2
children bfabeedbf32e
comparison
equal deleted inserted replaced
761:2f8d72226bc0 762:aed7d99276b8