Revision c6c7f123a4f2f2cd7f922dc0b990fd8b4098c1c0 authored by Mohamed Barakat on 23 November 2016, 09:49:43 UTC, committed by Mohamed Barakat on 23 November 2016, 09:49:43 UTC
* mohamed/master:
  Some more cleanup
  Cleaned up tropical
  Cleanup
  Removed old fan method
  Cleanup cones
  PolymakeInterface: Cleanup
  Make PolymakeInterface build and run with post-3.0 polymake
2 parent s 1a9d81a + 602241e
History

back to top