comparison 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
comparison
equal deleted inserted replaced
1103:a096b8579a3c 1104:490a8a4536b6