Update

Updating Topincs is a very simple procedure. Unpack the new distribution in your TOPINCS_HOME. Remember that the archive does contain a directory called topincs. Then change in TOPINCS_HOME/bin and run update.