Go to the source code of this file.
◆ init_polymake_help()
void init_polymake_help |
( |
| ) |
|
Definition at line 22 of file polymake_documentation.cc.
24 const char *polymake_banner =
25 "Welcome to polymake version\nCopyright (c) 1997-2015\nEwgenij Gawrilow, Michael Joswig (TU Darmstadt)\nhttp://www.polymake.org\n";
void PrintS(const char *s)