Differences

This shows you the differences between two versions of the page.

--- extensions [2019/01/29 21:46] – external edit 127.0.0.1
+++ extensions [2019/02/28 11:02] – [Other] panizzut
@@ Line 42: / Line 42: @@
 ===== Other =====
-  * Silke Horn: [[http://solros.de/polymake/poly_db|poly_db]]. Access to the [[polydb|polymake polytope database]].  (Now bundled with polymake)
+  * Silke Horn: [[http://solros.de/polymake/poly_db|poly_db]]. Access to the [[polydb|polymake polytope database]] bundled with polymake
       * releases and other information: [[http://solros.de/polymake/poly_db|poly_db]]
       * [[user_guide:howto:poly_db_tutorial|tutorial]]
       * latest: [[http://github.com/solros/poly_db|github]]