log src/sat.tac @ 1071:eef1f200d733

age author description
Wed, 14 May 2014 12:51:24 +0200 Goffi core (log): moved configuration to core.log_config; this avoid import issues with pyjamas.
Mon, 05 May 2014 20:16:14 +0200 Goffi core: if in debug mode and ipdb is present, use ipdb instead of pdb