My Project  debian-1:4.1.2-p1+ds-2
polymake_documentation.h
Go to the documentation of this file.
1 #ifndef POLYMAKE_DOCUMENTATION_H
2 #define POLYMAKE_DOCUMENTATION_H
3 
4 #include "kernel/mod2.h"
5 
6 #ifdef HAVE_POLYMAKE
7 
8 void init_polymake_help();
9 
10 #endif
11 #endif
void init_polymake_help()