| Mon, 21 Jan 2002 15:28:34 +0100 | wenzelm | options -l and -t; | file | diff | annotate |
| Fri, 11 Jan 2002 17:04:49 +0100 | wenzelm | #!/usr/bin/env bash; | file | diff | annotate |
| Sat, 08 Dec 2001 17:34:46 +0100 | wenzelm | use /var/tmp (which happens to be more spacious on atbroy37); | file | diff | annotate |
| Wed, 26 Sep 2001 23:01:48 +0200 | wenzelm | activate default ISABELLE_USEDIR_OPTIONS for precompiled distribution; | file | diff | annotate |
| 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 |