| Tue, 23 Dec 2008 21:24:40 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 23 Dec 2008 21:18:26 +0100 | wenzelm | * Proofs of are run in parallel on multi-core systems; | changeset | files |
| Tue, 23 Dec 2008 21:03:47 +0100 | wenzelm | updated generated file; | changeset | files |
| Tue, 23 Dec 2008 21:03:35 +0100 | wenzelm | updated thread-safe programming; | changeset | files |
| 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 |