| Mon, 23 Oct 2000 22:09:21 +0200 | wenzelm | comment out Pure-copied target; | file | diff | annotate |
| Thu, 28 Sep 2000 23:00:11 +0200 | wenzelm | include log files; | file | diff | annotate |
| Thu, 28 Sep 2000 14:35:42 +0200 | wenzelm | ./build -b -m Pure-copied Pure; | file | diff | annotate |
| 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 |