Every time I want to configure pulp for a new document, I have to come back here and remind myself what the default configuration is. It should be easy to get right -- e.g. by having a special default terminal in the configuration language that has the same meaning as not (boring | info | underfull | overfull) or whatever the heck the default actually is.
Every time I want to configure pulp for a new document, I have to come back here and remind myself what the default configuration is. It should be easy to get right -- e.g. by having a special
defaultterminal in the configuration language that has the same meaning asnot (boring | info | underfull | overfull)or whatever the heck the default actually is.