| Tue, 04 Aug 2009 15:05:34 +0200 | wenzelm | change IFS only locally -- thanks to bash arrays; | changeset | files |
| Tue, 04 Aug 2009 13:35:33 +0200 | wenzelm | more uniform handling of ISABELLE_HOME_USER component; | changeset | files |
| Tue, 04 Aug 2009 13:29:52 +0200 | wenzelm | options for more precise performance figures of at-poly, which happens to run on macbroy21; | changeset | files |
| Tue, 04 Aug 2009 08:45:03 +0200 | bulwahn | removing tracing messages in predicate compiler | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | improved use of context with cases rule in predicate compiler; predicate compiler based on Main for faster debugging | changeset | files |
| Tue, 04 Aug 2009 08:34:56 +0200 | bulwahn | commented rpred compilation; tuned | changeset | files |