My Project  debian-1:4.1.2-p1+ds-2
polymake_documentation.cc
Go to the documentation of this file.
1 #include "kernel/mod2.h"
2 
3 #ifdef HAVE_POLYMAKE
4 #include "reporter/reporter.h"
5 
7 {
8  const char *polymake_banner =
9  "Welcome to polymake version\nCopyright (c) 1997-2015\nEwgenij Gawrilow, Michael Joswig (TU Darmstadt)\nhttp://www.polymake.org\n";
10 
11  PrintS(polymake_banner);
12 }
13 #endif
init_polymake_help
void init_polymake_help()
Definition: polymake_documentation.cc:6
reporter.h
PrintS
void PrintS(const char *s)
Definition: reporter.cc:283
mod2.h