Sun, 25 Mar 2012 20:15:39 +0200 | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
Sun, 12 Feb 2012 22:10:33 +0100 | notepad is more appropriate here | file | diff | annotate |
Mon, 14 Nov 2011 21:11:31 +0100 | remove sorry, otherwise it breaks the testboard | file | diff | annotate |
Mon, 14 Nov 2011 12:28:34 +0100 | enforce quick_and_dirty in Code_Real_Approx_By_Float | file | diff | annotate |
Mon, 14 Nov 2011 11:50:52 +0100 | add Code_Real_Approx_By_Float | file | diff | annotate |