# Log to System.err:
handlers=java.util.logging.ConsoleHandler

# Set the log level of the log handler to FINEST
java.util.logging.ConsoleHandler.level=FINEST
# Use our log formatter, which just prints log messages and timestamps
java.util.logging.ConsoleHandler.formatter=se.chalmers.cs.gf.util.MilliLogFormatter

# Set global logging level
.level=INFO

# Set log levels for our packages
se.chalmers.cs.gf.parse.level=FINER
se.chalmers.cs.gf.parse.TreeBuilder.level=FINER
se.chalmers.cs.gf.linearize.level=FINER