Windows 1.3.1

Changed GUI of the whole app.

Added trace settings

• option to change color of tracing
• advanced settings for singularity handling

Automatic singularity detection (the only option up untill now)

• works fine in most cases, the user doesn't have to do anything
• added option to change automatic detection parameters

Equational singularity detection

• the user can now specify an equation giving the singularities
• this is much more reliable and usually faster than automatic detection