Regina

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:

• Type regina-gui for the graphical user interface;
• Type regina-python for 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;

• See http://regina-normal.github.io/source.html and http://regina-normal.github.io/buildtips.html for help with building Regina from sources.

Enjoy!

— Ben Burton (bab@debian.org), Sun, 13 Nov 2016 08:19:03 +1000