Fri, 15 Feb 2013 08:31:31 +0100 | haftmann | two target language numeral types: integer and natural, as replacement for code_numeral; | file | diff | annotate |
Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
Sun, 12 Feb 2012 22:10:33 +0100 | haftmann | notepad is more appropriate here | file | diff | annotate |
Mon, 14 Nov 2011 21:11:31 +0100 | hoelzl | remove sorry, otherwise it breaks the testboard | file | diff | annotate |
Mon, 14 Nov 2011 12:28:34 +0100 | hoelzl | enforce quick_and_dirty in Code_Real_Approx_By_Float | file | diff | annotate |
Mon, 14 Nov 2011 11:50:52 +0100 | hoelzl | add Code_Real_Approx_By_Float | file | diff | annotate |