--- a/java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java	Sun Apr 06 17:53:36 2014 +0200
+++ b/java/sql-dk/src/info/globalcode/sql/dk/configuration/Configuration.java	Sun Apr 06 23:32:54 2014 +0200
@@ -24,6 +24,7 @@
 import info.globalcode.sql.dk.formatting.TabularFormatter;
 import info.globalcode.sql.dk.formatting.TabularPrefetchingFormatter;
 import info.globalcode.sql.dk.formatting.TabularWrappingFormatter;
+import info.globalcode.sql.dk.formatting.TeXFormatter;
 import info.globalcode.sql.dk.formatting.XhtmlFormatter;
 import info.globalcode.sql.dk.formatting.XmlFormatter;
 import java.util.ArrayList;
@@ -68,6 +69,7 @@
 		l.add(new FormatterDefinition(TabularFormatter.NAME, TabularFormatter.class.getName()));
 		l.add(new FormatterDefinition(TabularPrefetchingFormatter.NAME, TabularPrefetchingFormatter.class.getName()));
 		l.add(new FormatterDefinition(TabularWrappingFormatter.NAME, TabularWrappingFormatter.class.getName()));
+		l.add(new FormatterDefinition(TeXFormatter.NAME, TeXFormatter.class.getName()));
 		buildInFormatters = Collections.unmodifiableCollection(l);
 	}