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 |
Mon, 28 Sep 2015 17:29:01 +0200 | hoelzl | Caratheodory: cleanup and modernisation | changeset | files |
Fri, 25 Sep 2015 23:01:34 +0200 | traytel | restructure fresh variable generation to make exports more wellformed | changeset | files |