| Tue, 19 Nov 2013 10:05:53 +0100 |
haftmann |
eliminiated neg_numeral in favour of - (numeral _)
|
file |
diff |
annotate
|
| Sun, 23 Jun 2013 21:16:07 +0200 |
haftmann |
migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
|
file |
diff |
annotate
|
| Fri, 21 Jun 2013 12:41:08 +0200 |
hoelzl |
Code_Real_Approx_By_Float: remove code equations using Ratreal
|
file |
diff |
annotate
|
| Tue, 26 Mar 2013 20:02:02 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| 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
|