Main source repository for Regina
This repository contains the sources for building Regina.
Users should only need to check out this repository if they wish to explore bleeding-edge features that are still under development.
If you simply want the latest release, you can download ready-made packages and/or a source tarball from http://regina-normal.github.io/#download .
To run regina from the command-line:
regina-guifor the graphical user interface;
regina-pythonfor the python-only scripting interface.
If you encounter problems:
See http://regina-normal.github.io/docs/troubleshooting.html for help with the graphical user interface and python scripting;
— Ben Burton (firstname.lastname@example.org), Sun, 13 Nov 2016 08:19:03 +1000