| Tue, 23 Dec 2008 19:49:33 +0100 | wenzelm | updated generated file; | changeset | files |
| Tue, 23 Dec 2008 19:49:21 +0100 | wenzelm | added float_token, and num_const, float_const; | changeset | files |
| Tue, 23 Dec 2008 19:27:42 +0100 | wenzelm | renamed terminal category "float" to "float_token", to avoid name | changeset | files |