LMCS-Paper/document/llncs.cls
2011-08-12 Christian Urban started lmcs paper (isabelle make lmcs)
less more (0) tip