Old Revisions

These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.

2019/05/30 20:05 polymake Extensions – [Configuring an extension] configure.pl resides in support folder now oroehrig +8 B (current)
2019/02/28 11:03 polymake Extensions – [What is an extension] panizzut -312 B
2019/01/29 21:46 polymake Extensions – external edit 127.0.0.1 ±0 B
2019/01/25 17:06 polymake Extensions – ↷ Links adapted because of a move operation oroehrig +16 B
2019/01/25 16:02 polymake Extensions – ↷ Page moved from reference:extensions to user_guide:extend:extensions oroehrig +20.8 KB
2019/01/25 15:19 polymake Extensions – ↷ Links adapted because of a move operation oroehrig -1 B
2016/03/23 14:46 polymake Extensions hampe
2015/12/11 14:43 polymake Extensions – [Starting an own extension] schroeter
2015/12/11 14:42 polymake Extensions – [Starting an own extension] schroeter
2014/01/03 15:45 polymake Extensions – external edit 127.0.0.1
2013/08/13 10:07 polymake Extensions – [Getting rid of an extension] removed typos silke
2013/06/11 22:26 polymake Extensions – [Configuring an extension] gawrilow
2013/06/04 00:35 polymake Extensions – [Relations between several extensions] gawrilow
2013/06/04 00:35 polymake Extensions – [Relations between extensions] gawrilow
2013/06/03 23:55 polymake Extensions – [How to get rid of an extension] gawrilow
2013/06/03 23:49 polymake Extensions – [How to use other people's extensions] gawrilow
2013/06/03 23:32 polymake Extensions – [How to manage changes in extensions] gawrilow
2013/06/03 23:25 polymake Extensions – [How to make other people aware of your work] gawrilow
2013/06/03 23:11 polymake Extensions – [How to share an extension with other people] gawrilow
2013/06/03 23:03 polymake Extensions gawrilow
2013/06/03 23:02 polymake Extensions – [Pre-build configuration since polymake 2.13] gawrilow