user_guide:extend:extensions

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