| 1997-03-11 | wenzelm | major tuning; | file | diff | annotate |
| 1997-03-11 | wenzelm | added THIS_IS_ISABELLE_BUILD; | file | diff | annotate |
| 1997-03-07 | wenzelm | fixed src path; | file | diff | annotate |
| 1997-03-07 | wenzelm | tuned comment; | file | diff | annotate |
| 1997-03-07 | wenzelm | build - compile parts of the Isabelle system; | file | diff | annotate |