https://github.com/Singular/Sources
Tip revision: be77cf1dd000fb79a2c712ff01d5455661826482 authored by Hans Schoenemann on 19 November 2014, 13:06:05 UTC
chg: changes from spielwiese
chg: changes from spielwiese
Tip revision: be77cf1
File | Mode | Size |
---|---|---|
Makefile.in | -rw-r--r-- | 1.1 KB |
README | -rw-r--r-- | 9.2 KB |
configure | -rwxr-xr-x | 31.8 KB |
configure.in | -rw-r--r-- | 644 bytes |
polymake_cdd_rename.patch | -rw-r--r-- | 55.1 KB |
polymake_conversion.cc | -rw-r--r-- | 14.1 KB |
polymake_conversion.h | -rw-r--r-- | 2.5 KB |
polymake_documentation.cc | -rw-r--r-- | 14.3 KB |
polymake_documentation.h | -rw-r--r-- | 452 bytes |
polymake_wrapper.cc | -rw-r--r-- | 47.2 KB |