romanab/Cluffer

General-purpose text-editor buffer.

TeXNOASSERTION