1.1 --- a/java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java	Sun Apr 06 17:53:36 2014 +0200
     1.2 +++ b/java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java	Sun Apr 06 23:32:54 2014 +0200
     1.3 @@ -24,6 +24,7 @@
     1.4  import info.globalcode.sql.dk.formatting.TabularFormatter;
     1.5  import info.globalcode.sql.dk.formatting.TabularPrefetchingFormatter;
     1.6  import info.globalcode.sql.dk.formatting.TabularWrappingFormatter;
     1.7 +import info.globalcode.sql.dk.formatting.TeXFormatter;
     1.8  import info.globalcode.sql.dk.formatting.XhtmlFormatter;
     1.9  import info.globalcode.sql.dk.formatting.XmlFormatter;
    1.10  import java.util.ArrayList;
    1.11 @@ -68,6 +69,7 @@
    1.12  		l.add(new FormatterDefinition(TabularFormatter.NAME, TabularFormatter.class.getName()));
    1.13  		l.add(new FormatterDefinition(TabularPrefetchingFormatter.NAME, TabularPrefetchingFormatter.class.getName()));
    1.14  		l.add(new FormatterDefinition(TabularWrappingFormatter.NAME, TabularWrappingFormatter.class.getName()));
    1.15 +		l.add(new FormatterDefinition(TeXFormatter.NAME, TeXFormatter.class.getName()));
    1.16  		buildInFormatters = Collections.unmodifiableCollection(l);
    1.17  	}
    1.18