6.3. Importing/Exporting Projections

The projections that appear in the list of available projections can be exported to another file that the user chooses. By selecting one or more projections and clicking Export the user will be able to select a file in which to store those projections. The file can then be distributed to other Thuban users. To import a projection file the user can click Import. The imported projections are added to the list and are then available to the current session and any future Thuban sessions.