| 2000-09-28 | wenzelm | include log files; | file | diff | annotate |
| 2000-09-28 | wenzelm | ./build -b -m Pure-copied Pure; | file | diff | annotate |
| 2000-09-27 | wenzelm | THIS_IS_ISABELLE_BUILD; | file | diff | annotate |
| 2000-09-26 | wenzelm | FAKE_BUILD=""; | file | diff | annotate |
| 2000-09-26 | wenzelm | tuned; | file | diff | annotate |
| 2000-09-26 | wenzelm | make Isabelle logic images for current platform; | file | diff | annotate |