Tue, 29 Sep 2015 15:37:37 +0200 | wenzelm | build session within running jEdit; | changeset | files |
Tue, 29 Sep 2015 13:54:04 +0200 | wenzelm | clarified modules; | changeset | files |
Sun, 27 Sep 2015 10:11:15 +0200 | haftmann | monomorphization of divmod wrt. code generation avoids costly dictionary unpacking at runtime | changeset | files |
Sun, 27 Sep 2015 10:11:14 +0200 | haftmann | more selective preprocessing allows bare "numeral" occurences to be retained as real function in generated code | changeset | files |