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. 2021/01/12 15:38 polymake Extensions (external edit) (current) 2019/05/30 20:05 polymake Extensions – [Configuring an extension] configure.pl resides in support folder now oroehrig +8 B 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 Show differences between selected revisions less recent >> user_guide/extend/extensions.txt Last modified: 2021/01/12 15:38(external edit)