Mon, 22 Feb 2010 23:07:40 +0100 rbernard Merge with 3cebfa984ece95356c4d4000c48230ca1db539c0
Mon, 22 Feb 2010 23:06:24 +0100 rbernard BUG FIX : fix tex/latex format
Mon, 22 Feb 2010 22:30:38 +0100 rbernard minor FIX : export dialog : wrong 'choose file format' label
(0) -100 -30 -10 -3 +3 +10 +30 +100 +300 tip