diff src/sat.tac @ 1104:490a8a4536b6

core (constants): added constants mainly used in XMLUI
author Goffi <goffi@goffi.org>
date Mon, 11 Aug 2014 19:10:24 +0200
parents a836b6da2c5c
children
line wrap: on
line diff