MIRAenvironment-1.4.1: - added Ubuntu-20.04 to install documentation MIRAgui-1.4.1: - changed Text Trace Visualization property 'Enforce Time Order' default to true - ImageObject allows smax < 0.0, only smax - RPCReflector::method() variants without parameter descriptions are marked deprecated (-> compile time warning if used in reflect() methods) - removed obsolete include of (removed from glibc 2.33 (gcc 10.x)) MIRAFramework-1.7.0: - fixed multiple warning for channel type meta change in TapeRecorder - RemoteAuthorityPropertyUpdater is destroyed before RPCManager in Framework finalize(), fixes crash on exit with delayed getProperty() RPCs - unified ChannelSynchronizer/ChannelSynchronizerBySequenceID, sync mode is selected by setSynchronizationMode() - fixed random errors/crashes on RemoteConnection disconnect MIRACenter-1.5.0: - added missing closeSplashScreen() before showing exception dialog - fixed crash when RPCConsole view is closed while waiting for RPC - fixed hang when MIRACenter is closed while RPCConsole waits for RPC CommonVisualization-1.3.0: - AnglePropertyDelegate wraps around beyond minimum/maximum - added property to RangeCircleVisualization for controlling position of circle size text marks