| 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 |