5 Commits

Author	SHA1	Message	Date
jos	1cc0a92e5d	Replace http links with https where possible	2019-02-27 12:57:35 +01:00
jos	3183212bc7	changed text of round-off error info	2016-02-04 20:10:22 +01:00
jos	bc0f16431d	Show information on round-off errors in demo app	2016-02-04 16:39:36 +01:00
josdejong	88052f145f	Switched to 2 space indentation	2013-11-28 15:42:56 +01:00
josdejong	06c33f7bc1	Improved the command line editor	2013-03-11 21:34:14 +01:00