| Wed, 05 Nov 2014 16:57:12 +0100 | wenzelm | explicit type Keyword.Keywords; | changeset | files |
| Wed, 05 Nov 2014 15:32:11 +0100 | wenzelm | clarified minor/major lexicon (like ML version); | changeset | files |
| Wed, 05 Nov 2014 19:43:17 +0100 | nipkow | reduced execution time | changeset | files |
| Tue, 04 Nov 2014 18:19:38 +0100 | wenzelm | proper button margins for Nimbus L&F; | changeset | files |
| Tue, 04 Nov 2014 17:37:15 +0100 | wenzelm | approximative update of versions; | changeset | files |
| Tue, 04 Nov 2014 17:33:08 +0100 | lammich | Added Option.bind_split{,_asm,s} | changeset | files |
| Mon, 03 Nov 2014 15:08:15 +0100 | wenzelm | clarified legacy code; | changeset | files |
| Mon, 03 Nov 2014 14:50:27 +0100 | wenzelm | eliminated unused int_only flag (see also c12484a27367); | changeset | files |