| Wed, 27 Sep 2000 19:51:11 +0200 | wenzelm | THIS_IS_ISABELLE_BUILD; | file | diff | annotate |
| Tue, 26 Sep 2000 18:24:01 +0200 | wenzelm | FAKE_BUILD=""; | file | diff | annotate |
| Tue, 26 Sep 2000 18:09:38 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 26 Sep 2000 17:05:01 +0200 | wenzelm | make Isabelle logic images for current platform; | file | diff | annotate |